Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng: Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium 2024