Practical Security Analysis of Zero-Knowledge Proof Circuits. - Hongbo Wen; Jon Stephens; Yanju Chen; Kostas Ferles; Shankara Pailoor; Kyle Charbonnet; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. - Yanju Chen; Juson Xia; Bo Wen; Kyle Charbonnet; Hongbo Wen; Hanzhi Liu; Luke Pearson; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

Zero-Knowledge Proof Vulnerability Analysis and Security Auditing. - Xueyan Tang; Lingzhi Shi; Xun Wang; Kyle Charbonnet; Shixiang Tang; Shixiao Sun (IACR Cryptol. ePrint Arch., 2024)