Paper-Conference

[PLDI '21] Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study

🏆 PLDI Distinguished Paper Award 📢 ACM SIGPLAN Blog: When Compiler Optimization Meets Binary Code Difference

Jun 24, 2021
[PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

🎀 ACM Artifact Badges: Available, Functional

Jun 23, 2021
[ICSE '21] App's Auto-Login Function Security Testing via Android OS-Level Virtualization

🐞 19 Zero-day Vulnerabilities Discovered

May 25, 2021
[CCS '20] PatchScope: Memory Object Centric Patch Diffing

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

Nov 11, 2020
[MobiSys '19] "Jekyll and Hyde" is Risky: Shared-Everything Threat Mitigation in Dual-Instance Apps

Jun 17, 2019
[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 Sec '18] Towards Predicting Efficient and Anonymous Tor Circuits

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

Aug 16, 2017