| 2026 | DSN | MBA-Sniffer: Rapidly Locating Mixed Boolean-Arithmetic Obfuscation in Binary Code. | Zheyun Feng, Dongpeng Xu |
| 2025 | SP | Inspecting Virtual Machine Diversification Inside Virtualization Obfuscation. | Naiqian Zhang, Dongpeng Xu, Jiang Ming, Jun Xu, Qiaoyan Yu |
| 2025 | USENIX | MemoryTrap: Booby Trapping Memory to Counter Memory Disclosure Attacks with Hardware Support. | Chenke Luo, Jiang Ming, Dongpeng Xu, Guojun Peng, Jianming Fu |
| 2024 | ACNS | An In-Depth Analysis of the Code-Reuse Gadgets Introduced by Software Obfuscation. | Naiqian Zhang, Zheyun Feng, Dongpeng Xu |
| 2023 | DSN | No Free Lunch: On the Increased Code Reuse Attack Surface of Obfuscated Programs. | Naiqian Zhang, Daroc Alden, Dongpeng Xu, Shuai Wang, Trent Jaeger, Wheeler Ruml |
| 2021 | DSN | Towards Optimal Use of Exception Handling Information for Function Detection. | Chengbin Pang, Ruotong Yu, Dongpeng Xu, Eric Koskinen, Georgios Portokalidis, Jun Xu |
| 2021 | EMNLP | GraphMR: Graph Neural Network for Mathematical Reasoning. | Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, Yun Xu |
| 2021 | ICICS | Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions. | Binbin Liu, Weijie Feng, Qilong Zheng, Jing Li, Dongpeng Xu |
| 2021 | PLDI | Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. | Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu |
| 2020 | ASPDAC | Security Threats and Countermeasures for Approximate Arithmetic Computing. | Pruthvy Yellu, Mohammad Mezanur Rahman Monjur, Timothy Kammerer, Dongpeng Xu, Qiaoyan Yu |
| 2020 | CCS | VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing. | Luman Shi, Jiang Ming, Jianming Fu, Guojun Peng, Dongpeng Xu, Kun Gao, Xuanchen Pan |
| 2020 | EMNLP | NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network. | Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, Yun Xu |
| 2019 | CCS | MetaHunt: Towards Taming Malware Mutation via Studying the Evolution of Metamorphic Virus. | Li Wang, Dongpeng Xu, Jiang Ming, Yu Fu, Dinghao Wu |
| 2018 | CCS | VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification. | Dongpeng Xu, Jiang Ming, Yu Fu, Dinghao Wu |
| 2017 | SP | Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping. | Dongpeng Xu, Jiang Ming, Dinghao Wu |
| 2015 | CCS | LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code. | Jiang Ming, Dongpeng Xu, Li Wang, Dinghao Wu |
| 2015 | SEC | Memoized Semantics-Based Binary Diffing with Application to Malware Lineage Inference. | Jiang Ming, Dongpeng Xu, Dinghao Wu |