Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
Scalable, Behavior-Based Malware Clustering