Puzhuo Liu
Senior Engineer & PostDoc
Ant Group & Tsinghua University
Biography
My research focuses on cybersecurity and software engineering, with an emphasis on enhancing software (binary) reliability, quality and security through static analysis and dynamic testing. Additionally, I am exploring the application of AI to support program analysis and testing techniques.
If you are interested in my research, please feel free to contact me via email. I would be happy to discuss collaboration opportunities.
Interests
- Static Analysis
- Dynamic Testing
Education
PhD in Cyberspace Security, 2024.7
University of Chinese Academy of Sciences
B.Eng in Communication Engineering, 2018.7
Jilin University
Work Experience
Senior Engineer
Ang Group
Publications
Quickly discover relevant content by filtering publications.
(2025).
Automated Flaw Detection for Industrial Robot RESTful Service.
26th International Conference on Verification, Model Checking, and Abstract Interpretation.
(2025).
LLM-Powered Static Binary Taint Analysis.
ACM Transactions on Software Engineering and Methodology.
(2024).
Adversarial Attack Against Intrusion Detectors in Cyber-Physical Systems With Minimal Perturbations.
The 22nd IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA).
(2024).
Battling against Protocol Fuzzing: Protecting Networked Embedded Devices from Dynamic Fuzzers.
ACM Transactions on Software Engineering and Methodology (TOSEM).
(2024).
MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing.
2024 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Vulnerabilitits
Received over 200 confirmed vulnerabilities for embedded devices (e.g., vendor acknowledgement, CVE, CNVD, PSV), including from Cisco, Siemens, D-Link, and others.
Acticities
- Journal Reviewer:
- CyberSecurity
- Journal of Systems Architecture
- IEEE Transactions on Software Engineering
- Computer & Security
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