Dongpeng Xu

Latest

• [S&P '25] Inspecting Virtual Machine Diversification Inside Virtualization Obfuscation
• [USENIX Security '21] MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
• [PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
• [CCS '20] VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing
• [CCS '18] VMHunt: A Verifiable Approach to Partial-Virtualized Binary Code Simplification
• [USENIX Security '17] BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking
• [S&P '17] Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping
• [ISC '16] Generalized Dynamic Opaque Predicates: A New Control Flow Obfuscation Method
• [CCS '15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
• [IFIP SEC '15] Memoized Semantics-Based Binary Diffing with Application to Malware Lineage Inference