VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
A Generic Approach to Automatic Deobfuscation of Executable Code