Publications

• Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs [blog post] [eprint] [code], IEEE Security and Privacy 2026 (forthcoming)
• Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs [eprint] [code], USENIX Security 2024
• Arboretum: A Planner for Massive-Scale Federated Analytics with Differential Privacy [eprint] [code], SOSP 2023
• Marking Territory: Modeling the Spread of Ethnic Conflict in Bosnia and Herzegovina, 1992-1995   [eprint]

Talks

• Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs [slides], MIT Security Seminar, February 2024, Cambridge, MA

• Arboretum: A Planner for Massive-Scale Federated Analytics with Differential Privacy [slides], SOSP, October 2023, Koblenz, Germany