VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
VMAttack: Deobfuscating Virtualization-Based Packed Binaries