Computer Security

[USENIX Sec '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 Sec '21] Obfuscation-Resilient Executable Payload Extraction From Packed Malware

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