Dinghao Wu

Latest

• [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
• [SCAM '16] BinCFP: Efficient Multi-threaded Binary Code Control Flow Profiling
• [ISC '16] Generalized Dynamic Opaque Predicates: A New Control Flow Obfuscation Method
• [ASE '16] StraightTaint: Decoupled Offline Symbolic Taint Analysis
• [Euro S&P '16] Translingual Obfuscation
• [CODASPY '16] Program-object Level Data Flow Analysis with Applications to Data Leakage and Contamination Forensics
• [CCS '15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
• [USENIX Security '15] TaintPipe: Pipelined Symbolic Taint Analysis
• [ACNS '15] Replacement Attacks: Automatically Impeding Behavior-based Malware Specifications
• [IFIP SEC '15] Memoized Semantics-Based Binary Diffing with Application to Malware Lineage Inference
• [FSE '14] Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection