A semantics-based approach to malware detection. (2007)

by M Dalla Preda, M Christodorescu, S Jha, S Debray
Venue:In Proc. Principles of Programming Languages (POPL),