A semantics-based approach to malware detection.

Mila Dalla Preda Mihai Christodorescu Somesh Jha Saumya K. Debray

Published in: POPL (2007)

Keyphrases

malware detection
malicious executables
anomaly detection
formal semantics
application programming interface
logic programming
software engineering
semantic information
learning algorithm
open source