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