Mac'n'Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions. - Carsten Baum; Alex J. Malozemoff; Marc B. Rosen; Peter Scholl (IACR Cryptol. ePrint Arch., 2020)

Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions. - Carsten Baum; Alex J. Malozemoff; Marc B. Rosen; Peter Scholl (CRYPTO (4), 2021)

Balboa: Bobbing and Weaving around Network Censorship. - Marc B. Rosen; James Parker; Alex J. Malozemoff (USENIX Security Symposium, 2021)