VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification.

Dongpeng Xu, Jiang Ming, Yu Fu, Dinghao Wu

Browse the full CCS paper archive.