Data-Aware Declarative Process Mining for Malware Detection | IEEE Conference Publication | IEEE Xplore