Arboretum: A Planner for Large-Scale Federated Analytics with Differential Privacy. - Elizabeth Margolin; Karan Newatia; Tao Luo; Edo Roth; Andreas Haeberlen (SOSP, 2023)

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. - Sebastian Angel; Eleftherios Ioannidis; Elizabeth Margolin; Srinath T. V. Setty; Jess Woods (IACR Cryptol. ePrint Arch., 2023)

Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs. - Sebastian Angel; Sofía Celi; Elizabeth Margolin; Pratyush Mishra; Martin Sander; Jess Woods (IACR Cryptol. ePrint Arch., 2025)