Automated Soundness and Completeness Vetting of Polygon zkEVM
Xinghao Peng
34th USENIX Security Symposium (USENIX Security '25) · Day 2 · Blockchain Security 2: Infrastructure, Protocol Design, and Governance
→ Top-rated talks at 34th USENIX Security Symposium (USENIX Security '25)
All talks from 34th USENIX Security Symposium (USENIX Security '25)