Xinghao Peng is currently a Ph.D. student in Computing Science at the Department of Computing of The Hong Kong Polytechnic University (PolyU), supervised by Prof. Daniel Xiapu Luo. He received his Bachelor’s degree in Software Engineering from the University of Electronic Science and Technology of China (UESTC). His research interests include blockchain security, smart contract security, and zero-knowledge proof.
📝 Publications
-
USENIX SEC 2025Automated Soundness and Completeness Vetting of Polygon zkEVM [Paper]
X. Peng, Z. Sun, K. Zhao, Z. Ma, Z. Li, J. Jiang, X. Luo, Y. Zhang
Proceedings of the 34th USENIX Security Symposium, 2025. -
ICSE 2025ConsCS: Effective and Efficient Verification of Circom Circuits [Paper]
J. Jiang, X. Peng, J. Chu, X. Luo
IEEE/ACM International Conference on Software Engineering, 2025. -
CCS 2024fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup [Paper]
Z. Li, X. Peng, Z. He, X. Luo, T. Chen
Proceedings of the 31st ACM Conference on Computer and Communications Security, 2024. -
CCS 2024DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back [Paper]
Z. Sun, Z. Li, X. Peng, X. Luo, M. Jiang, H. Zhou, Y. Zhang
Proceedings of the 31st ACM Conference on Computer and Communications Security, 2024.
🎖 Honors and Awards
- 2024 ACM SIGSAC Distinguished Paper Award (CCS’24).
- 2021 First Prize in the National College Student Information Security Contest.
📖 Education
- 2023.09 - present, Ph.D student, The Hong Kong Polytechnic University.
- 2019.09 - 2023.06, Undergraduate, University of Electronic Science and Technology of China.
📚 Teaching
-
COMP3421, WEB APPLICATION DESIGN AND DEVELOPMENT, PolyU, Teaching Assistant, 2025 Spring.
-
COMP3211, SOFTWARE ENGINEERING, PolyU, Teaching Assistant, 2024 Fall.
-
COMP5566, BLOCKCHAIN AND SMART CONTRACT SECURITY, PolyU, Teaching Assistant, 2024 Spring.
-
COMP5112, DATA STRUCTURES AND DATABASE SYSTEMS, PolyU, Teaching Assistant, 2023 Fall.