Efficient Malware Detection Using Model-Checking
Semantics-aware malware detection