Attacking Malicious Code: A Report to the Infosec Research Council
Morrisett, Greg
Invariants-based Architecture for Semantic Malware Resistance