Puzhuo Liu

Puzhuo Liu

刘圃卓
Assistant Researcher

Ant Group & Tsinghua University

Biography

My research centers on Quality and Security assurance for Cyber-Physical Systems and Intelligent Systems. I study how to improve the trustworthiness of complex systems that involve interconnected networks, autonomous decision-making, and intelligent collaborative devices. My technical interests include taint analysis, fuzzing, emulation/simulation, formal verification, and AI-assisted software testing and verification, with applications to both conventional software/firmware and emerging AI/agentic systems.

If my research aligns with your interests, please don’t hesitate to reach out to me via email. I would be delighted to explore potential collaboration opportunities.

Research Interests: QS for Cyber-Physical & Intelligent Systems

Recruiting research interns: LLM/Agent for Software Engineering/Programming Languages/System Security and Safety for LLM/Agent.

News

Our paper “MCPXkit:The Unified Toolkit for Analyzing Model Context Protocol Security” was accepted by TDSC!
May 2026
Submit your work to the 2nd EXPRESS Workshop@SPLASH-ISSTA 2026 — we welcome your participation!!
Mar 2026
Our paper “Bond:Constraint-Directed Fuzzing for Automated Validation of Taint Analysis Results in Linux-based IoT Firmware” was accepted by Usenix Sec'26!
Dec 2025
Our paper “BIT:Empowering Binary Analysis Through the LLVM Toolchain " was accepted by CGO 2026!
Nov 2025
Our paper “Bridge:High-Order Taint Vulnerabilities Detection in Linux-based IoT Firmware” was accepted by S&P 2026!
Sep 2025

Work Experience

 
 
 
 
 
Assistant Researcher
Ang Group
September 2024 – Present China
CodeFuse Team Advisor: Dr. Peng Di
 
 
 
 
 
Assistant Researcher (Postdoc)
Tsinghua University
September 2024 – Present China
Advisor: Prof. Yu Jiang

Education Experience

 
 
 
 
 
PhD in Cyberspace Security
University of Chinese Academy of Sciences
September 2018 – July 2024 China
Advisor: Prof. Limin Sun and Prof. Yaowen Zheng
 
 
 
 
 
Visiting PhD
University of Waterloo
September 2022 – August 2023 Canada
Advisor: Prof. Chengnian Sun
 
 
 
 
 
B.Eng in Communication Engineering
Jilin University
September 2014 – July 2018 China

Vulnerabilitits

Received 200+ confirmed vulnerabilities for embedded devices (e.g., vendor acknowledgement, CVE, CNVD, PSV), including from Cisco, Siemens, D-Link, and others.

    Services

    • Committee:
      • 2026:
        • OC: EXPRESS@ISSTA
        • Shadow PC: EuroSys, ICSE
        • AEC: NDSS, S&P, USENIX Securiy
      • 2025:
        • PC: EXPRESS@ISSTA, LLM4Sec@ICDM, ISPA
        • AEC: CCS
        • Session Chair: EXPRESS@ISSTA, LMPL@SPLASH
    • Journal Reviewer:
      • CyberSecurity
      • Journal of Systems Architecture
      • IEEE Transactions on Software Engineering
      • Computer & Security
      • The Journal of Supercomputing
      • ACM Transactions on Software Engineering and Methodology

      Honors & Awards

      • 2024 AntStar of Ant Group
      • 2024 Outstanding Graduates of Beijing
      • 2024 Outstanding Graduates of University of Chinese Academy of Sciences
      • 2024 Outstanding Graduates of Institute of Information Engineering, CAS
      • 2023 National Scholarship
      • 2023 Special Scholarship of Institute of Information Engineering, CAS
      • 2023 Merit Student Representative of University of Chinese Academy of Sciences
      • 2022 DataCon IoT Security Track Third Prize
      • 2021 DataCon Email Security Track Runner-up Prize
      • 2018-2023 University of Chinese Academy of Sciences Scholarships
      • 2014-2018 Jilin University Scholarships

        Contact