Zihao Li

Google Scholar ORCID: 0000-0002-4382-577X
8 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
Auspex: Unveiling Inconsistency Bugs of Transaction Fee Mechanism in Blockchain.
2025
conf/uss
Automated Soundness and Completeness Vetting of Polygon zkEVM.
Filters
Years:  to