Department of Computer Science
College of Engineering and Physical Science
University of New Hampshire
33 Academic Way
Kingsbury Hall N221A
Durham, NH 03824
E-mail: dongpeng.xu AT unh.edu
I'm an assistant professor in the Department of Computer Science at the University of New Hampshire. Before joining UNH, I obtained my Ph.D. from the Pennsylvania State University. I received my master's degree at University of Science and Technology of China and bachelor's degree at Jilin University.
My research interest is software security, especially program analysis on binary code, software obfuscation/de-obfuscation, malware analysis, program similarity analysis, and model checking.
Selected Publications [Complete List]
[EMNLP'21] GraphMR: Graph Neural Network for Mathematical Reasoning
Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, and Yun Xu
In the 2021 Conference on Empirical Methods in Natural Language Processing.
[USENIX Security'21] MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
Binbin Liu, Junfu Shen, Jiang Ming, Qilong Zheng, Jing Li, and Dongpeng Xu
In the 30th USENIX Security Symposium.
[PLDI'21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Jing Li, Qilong Zheng, and Qiaoyan Yu
In The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation.
[CCS'20] VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing
Luman Shi, Jiang Ming, Jianming Fu, Guojun Peng, Dongpeng Xu, Kun Gao, and Xuanchen Pan.
In the 27th ACM Conference on Computer and Communications Security. (Acceptance ratio 16.9%=121/715).
[CCS'18] VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
Dongpeng Xu, Jiang Ming, Yu Fu, and Dinghao Wu.
In the 25th ACM Conference on Computer and Communications Security. (Acceptance rate 134/809=16.6%).
[USENIX Security'17] BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking
Jiang Ming, Dongpeng Xu, Yufei Jiang, and Dinghao Wu.
In the 26th USENIX Security Symposium. (Acceptance rate 85/522=16.3%).
[S&P'17] Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping
Dongpeng Xu, Jiang Ming, and Dinghao Wu.
In the 38th IEEE Symposium on Security and Privacy. (Acceptance rate 60/450=13.3%).
- [CCS'15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Jiang Ming, Dongpeng Xu, Li Wang, and Dinghao Wu.
In the 22nd ACM Conference on Computer and Communications Security. (Acceptance rate: 128/646 = 19.8%)
- CS 527 Fundamentals of Cybersecurity (Fall 2022, Fall 2021)
- CS 727/827 Software Security (Spring 2022, Spring 2021, Spring 2020)
- CS 927 Software Security Analysis (Fall 2021, Fall 2020, Fall 2019)
- CS 780/880 Computer Security (Spring 2019)
- CS 980 Graduate Seminar: Cybersecurity (Fall 2018)
- Program Committee: PLDI Artifact Evaluation (2023,2022), ICICS (2022,2021), RAID 2019
- Journal Reviewer: Transactions on Dependable and Secure Computing (2022,2021), Transactions on Architecture and Code Optimization (2021)
- Preliminary Judge/Review Committee: CSAW (2021,2020,2019,2018)
- External Reviewer: USENIX Security 2021, SecureComm 2017, CCS 2017, ICSE 2016 SEIP Track, IEEE Transactions on Forensic and Security, ACM Transactions on Privacy and Security, Journal of Language Resources and Evaluation, Elsevier Computers & Security (COSE), Elsevier Future Generation Computer Systems (FGCS)
- Zheyun Feng (Since 2021 Fall)
- Rachael Little (Since 2020 Fall)
- Naiqian Zhang (Since 2019 Summer)
- Akshita Reddy Mavurapu
- Connor Tess
- George Trabucchi
- Samuel Stone
- Binbin Liu (Ph.D. 2022, Visiting PhD student from USTC)
- Rui Sun (M.S. 2022)
- Vinayak Chaturvedi (M.S. 2021)
- Dhawal Darji (M.S. 2021)
- Boyao Xu (M.S. 2021)
- Daroc Alden (M.S. 2019)
- Junfu Shen (M.S. 2019)