Dongpeng Xu Assistant Professor Department of Computer Science College of Engineering and Physical Science University of New Hampshire Mailing Address: 33 Academic Way Kingsbury Hall W233 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

• [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%)

Teaching

• CS 727/827 Software Security (Spring 2022, Spring 2021, Spring 2020)
• CS 527 Fundamentals of Cybersecurity (Fall 2021)
• 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)

Professional Activities

• Journal Reviewer: Transactions on Dependable and Secure Computing (2021), Transactions on Architecture and Code Optimization (2021)
• Program Committee: RAID 2019
• Preliminary Judge/Review Committee: CSAW (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)

Students

PhD

• Rachael Little (Since 2020 Fall)
• Naiqian Zhang (Since 2019 Summer)
• Binbin Liu (Since 2019 Spring, Visiting PhD student from USTC)

Master

• Yang Zhang
• Rui Sun

Alumni

• 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, Microsoft)