Computer Security

[CCS '20] VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing

Nov 11, 2020
[CCS '18] VMHunt: A Verifiable Approach to Partial-Virtualized Binary Code Simplification

Oct 16, 2018
[CCS '18] Towards Paving the Way for Large-Scale Windows Malware Analysis: Generic Binary Unpacking with Orders-of-Magnitude Performance Boost

Oct 15, 2018
[USENIX Security '18] Towards Predicting Efficient and Anonymous Tor Circuits

Aug 16, 2018
[USENIX Security '17] BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking

Aug 16, 2017
[S&P '17] Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping

🏅 CSAW 2017 Best Applied Security Paper Award TOP-10 Finalists

May 22, 2017
[CCS '15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code

Oct 15, 2015
[USENIX Security '15] TaintPipe: Pipelined Symbolic Taint Analysis

Aug 12, 2015