Efficient Malware Detection Using Model-Checking
Static detection of malicious code in executable programs