@inproceedings{vmhunt,
 author = {Dongpeng Xu and Jiang Ming and Yu Fu and Dinghao Wu},
 booktitle = {Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS '18)},
 title = {VMHunt: A Verifiable Approach to Partial-Virtualized Binary Code Simplification},
 year = {2018}
}