Paper-Conference

[CCS '21] Towards Transparent and Stealthy Android OS Sandboxing via Customizable Container-Based Virtualization

Nov 15, 2021
[USENIX Security '21] MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation

🎀 USENIX Artifact Evaluation Passed 📢 Our work motiviates the new IDA-Pro plugin by Hex-Rays.

Aug 13, 2021
[USENIX Security '21] Obfuscation-Resilient Executable Payload Extraction From Packed Malware

Aug 11, 2021
[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

🐞 Zero-day Vulnerabilities Discovered: CVE-2019-15843, VULBOX-2019-0221059, CNVD-2019-42028, CNVD-2019-42029, CNVD-2019-42030, CNVD-2019-42031, CNVD-2019-42032, CNVD-2019-42033, CNVD-2019-42034

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