Publications

Google Scholar

Publications at top-tier venues:

IEEE S&P [CryptoHunt],
CCS [LOOP],
USENIX Security [Uroboros, TaintPipe, BinSim, CacheD],
NDSS [Kruiser],
PLDI [Cruiser, KISS, LTAL],
ICSE [LibD, PackerGrind, VaPD],
FSE [CoP],
ISSTA [AlgPlg],
ASE [PiE, StraightTaint, IMF],
IEEE TSE [CoP, VaPD].

* Student I supervise or supervised.
† Student supervised at the time the research was done.

2017

  • In-Memory Fuzzing for Binary Code Similarity Analysis, by Shuai Wang* and Dinghao Wu. In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017). Urbana Champaign, Illinois, USA, October 30 – November 3, 2017. Accepted. (Acceptance rate 65/314=20.7%)
  • Automated Synthesis of Access Control Lists, by Xiao Liu*, Brett Holden*, and Dinghao Wu. In Proceedings of the 3rd International Conference on Software Security and Assurance (ICSSA 2017). Altoona, Pennsylvania, USA, July 24-25, 2017. Best Paper Award.
  • Semantics-Aware Machine Learning for Function Recognition in Binary Code, by Shuai Wang*, Pei Wang*, and Dinghao Wu. In Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). Shanghai, China. September 17-24, 2017. Accepted.
  • Composite Software Diversification, by Shuai Wang*, Pei Wang*, and Dinghao Wu. In Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). Shanghai, China. September 17-24, 2017. Accepted.
  • BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking, by Jiang Ming*, Dongpeng Xu*, Yufei Jiang*, and Dinghao Wu. In Proceedings of the 26th USENIX Security Symposium, Vancouver, BC, Canada, August 16-18, 2017.  (Acceptance rate 85/522=16.3%)
  • CacheD: Identifying Cache-Based Timing Channels in Production Software, by Shuai Wang*, Pei Wang*, Xiao Liu*, Danfeng Zhang, and Dinghao Wu. In Proceedings of the 26th USENIX Security Symposium, Vancouver, BC, Canada, August 16-18, 2017. (Acceptance rate 85/522=16.3%)
  • Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping, by Dongpeng Xu*, Jiang Ming*, and Dinghao Wu. In Proceedings of the 38th IEEE Symposium on Security and Privacy, San Jose, CA, May 22-24, 2017. (Accepted. Acceptance rate 60/450=13.3%)
  • LibD: Scalable and Precise Third-party Library Detection in Android Markets, by Menghao Li, Wei Wang, Pei Wang*, Shuai Wang*, Dinghao Wu, Jian Liu, Rui Xue, and Wei Huo. In Proceedings of the 39th ACM/IEEE International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16.4%)
  • Adaptive Unpacking of Android Apps, by Lei Xue, Xiapu Luo, Le Yu, Shuai Wang, and Dinghao Wu. In Proceedings of the 39th ACM/IEEE International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017. (Acceptance rate: 16.4%)
  • Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software and Algorithm Plagiarism Detection, by Lannan Luo†, Jiang Ming*, Dinghao Wu, Peng Liu, and Sencun Zhu. IEEE Transactions on Software Engineering, 2017. (To appear). A preliminary version appeared in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014).
  • Natural Shell: An Assistant for End-user Scripting, by Xiao Liu*, Yufei Jiang*, Lawrence Wu*, and Dinghao Wu. International Journal of People-Oriented Programming (IJPOP), 2017.

2016

2015

2014

2013

2012

2011

Publications before joined PSU (2005–2009 in industry, see the patent section)

    • KISS: Keep It Simple and Sequential, by Shaz Qadeer and Dinghao Wu. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2004), pages 14–24, Washington DC, June 9–11, 2004.
    • Construction of a Semantic Model for a Typed Assembly Language, by Gang Tan, Andrew W. Appel, Kedar N. Swadi, and Dinghao Wu. In Proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI ’04). Springer-Verlag Lecture Notes in Computer Science (LNCS 2937), pages 30–43, Venice, Italy, January 2004.
    • Foundational Proof Checkers with Small Witnesses, by Dinghao Wu, Andrew W. Appel, and Aaron Stump. In Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pages 264–274, Uppsala, Sweden, August 27–29, 2003.
    • A Provably Sound TAL for Back-end Optimization, by Juan Chen, Dinghao Wu, Andrew W. Appel, and Hai Fang. In Proceedings of the 2003 ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), pages 208–219, San Diego, California, June 8–11, 2003.
    • (in Chinese) On Theoretical Basis of a State-Space Based Approach to the Design of Hybrid Systems, by Dinghao Wu and Jian Lu. Journal of Nanjing University (Natural Sciences), 35(5):564–572, 1999.
    • (in Chinese) Researches on Software Interoperability, by Junhua Ding, Huan Dong, Dinghao Wu, and Jian Lu. Computer Research and Development, 35(7):577–583, 1998.
    • (in Chinese) A State-Space Based Approach to the Design of Hybrid Systems, by Dinghao Wu and Jian Lu. In Proceedings of the 7th National Conference of Young Computer Scientists (NCYCS ’98), pages 48–53, Shanghai, China, October 1998. China Computer Federation (CCF), Shanghai Sci-Tech Press.
    • Two-Dimensional Dealiasing of Doppler Velocities, by Guoqing Liu, Wenzhong Ge, Xueru Zhang, Dinghao Wu, and Ji Zhou. In Proceedings of the 27th International Conference on Radar Meteorology. American Meteorological Society. Vail, Colorado, October 9–13, 1995.

Technical Reports

Theses

    • Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code. Ph.D. thesis, Department of Computer Science, Princeton University, 2005.
    • A State-Space Based Approach to the Specification and Verification of Hybrid Systems and Its Axiomatic Basis. Master’s Thesis. Department of Computer Science, Nanjing University. May 1999.
    • (in Chinese) Numerical Simulation of Free Turbulent Jets. Bachelor Thesis. Department of Chemical Engineering, Nanjing University of Chemical Technology. June 1996.

Patents

    • Data Race Detection Using Sequential Program Analysis. (Shaz Qadeer and Dinghao Wu), US Patent US7316005. Issued on January 01, 2008.
    • Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis. (Yue Yang, Anna Gringauze, Dinghao Wu, and Henning Rohde), US Patent 8,510,722. Issued on August 13, 2013.
    • An Adaptive Network Defense Architecture. (Li Wang* and Dinghao Wu), Patent Application, 2016.