| Application accepted (what does this mean?) | |||||
| Zhang | Benjamin Zhiming | 11th | A74 | 112-H30-C1 | Fuzzing the Proofs: Designing a Coverage-guided Software to Reveal Vulnerabilities in Zero-Knowledge Proofs (Physical Science and Engineering, Software Engineering) |