3 papers
cs.SE2026
A Survey of LLM-Driven Penetration Testing: Taxonomy, Co-Evolution, and Open Challenges
Zheyuan He, Jiaxun Dong, Zihao Li +6
Agents4Pentest, an emerging class of LLM-based autonomous penetration testing systems, has become a rapidly growing area in security research. Despite this growth, the field still…
cs.SE2024
Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks
Javier Ron, Zheyuan He, Martin Monperrus
Client diversity is a cornerstone of blockchain resilience, yet most networks suffer from a dangerously skewed distribution of client implementations. This monoculture exposes the…
cs.CR2024
fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
Zihao Li, Xinghao Peng, Zheyuan He +2
Zero-knowledge layer 2 protocols emerge as a compelling approach to overcoming blockchain scalability issues by processing transactions through the transaction finalization process…