🎉 News! [03/2025] Our paper, TypeForge, got accepted in S&P 2025.

About Me

I am Yanzhong (h1k0) Wang, a fourth-year PhD student at the University of Chinese Academy of Sciences (UCAS). Before 2024, my advisor was Prof. Wei Zou. Currently, my advisor is Prof. Kai Chen, and I also actively collaborate with Prof. Ruigang Liang. Previously, I earned my B.Eng from Beihang University (BUAA).

My research is in the area of software and system security, particularly leveraging automated program analysis and testing techniques (including decompilation, taint analysis, and fuzzing) to address real-world software security problems and tackle labor-intensive tasks while reducing dependence on expert experience. In recent years, I have been particularly interested in security issues in binary programs and firmware.

Additionally, I am committed to addressing the following challenges:

  1. Leveraging AI to overcome traditional program analysis bottlenecks: Traditional program analysis techniques are sound but limited by inherent rules and patterns, constraining their scalability. I hope to leverage AI techniques to enhance the scalability of program analysis while maintaining its soundness.
  2. Building fuzzing drivers for real-world complex software: Many real-world software systems (such as automotive and smart devices) remain inadequately tested due to architectural constraints. I hope to leverage various static/dynamic analysis and AI techniques to build testing drivers for such software to discover security vulnerabilities.

Beyond academia, I was an active capture-the-flag (CTF) player in NeSE team. I enjoy pwn and reversing challenges (I highly recommend pwn.college), and I am also interested in bug hunting and mobile security. Additionally, I contribute to open-source security projects such as Ghidra and LibAFL.

Publications

  1. TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries
    Yanzhong Wang, Ruigang Liang, Yilin Li, Peiwei Hu, Kai Chen, Bolun Zhang
    46th IEEE Symposium on Security and Privacy (S&P 2025)
    San Francisco, CA, May 2025
    [code] [paper]

Projects

  1. TypeForge | Type Inference, Decompilation, Ghidra
    • An efficient and precise tool for recovering composite data types (Structure, Union, …) in stripped binaries.
    • Implemented as a headless Ghidra extension, developed in the Java language.
  2. Intro-to-Program | Compilation, Linking, Execution, Debugging, Education
    • Lab materials for UCAS postgraduate course Principles of Software Security, covering foundational topics in software security, including program generation, execution, and debugging.
  3. PoSS2P | Platform, Docker, Education
    • An online lab platform for UCAS postgraduate course Principles of Software Security, allowing students to create, access, and manage integrated lab environments with remote desktop and online VSCode editor via a browser to complete course labs.
    • It has served hundreds of UCAS graduate students and is developed based on dojo.

Experiences & Awards

Services

Teaching

Contact

Yanzhong Wang

Phd student in UCAS IIE, you can also check the following link.