Puzhuo Liu
Senior Engineer & PostDoc
Ant Group & Tsinghua University
Biography
My research focuses on software engineering and cybersecurity, with an emphasis on enhancing software reliability and quality 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
- Reverse Engineering
- Static Analysis
- Dynamic Testing
- AI/LLM
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
Obtained over 100 vulnerability confirmations, and received acknowledgments from companies such as Cisco, Siemens, and D-Link. My cumulative bounty rewards total $8,000.
- CVE-2020-25242
- CVE-2022-20825
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
- 2018-2023 University of Chinese Academy of Sciences Scholarships
- 2022 DataCon IoT Security Track Third Prize
- 2021 DataCon Email Security Track Runner-up Prize
- 2014-2018 Jilin University Scholarships