Vamonos: Embeddable visualizations of advanced algorithms. - Brent Carmer; Mike Rosulek (FIE, 2015)

Linicrypt: A Model for Practical Cryptography. - Brent Carmer; Mike Rosulek (IACR Cryptol. ePrint Arch., 2016)

5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. - Kevin Lewi; Alex J. Malozemoff; Daniel Apon; Brent Carmer; Adam Foltzer; Daniel Wagner 001; David W. Archer; Dan Boneh; Jonathan Katz; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2016)

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. - Adrià Gascón; Ashish Tiwari 001; Brent Carmer; Umang Mathur 001 (CAV (2), 2017)

5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits. - Brent Carmer; Alex J. Malozemoff; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2017)

Garbled Neural Networks are Practical. - Marshall Ball; Brent Carmer; Tal Malkin; Mike Rosulek; Nichole Schimanski (IACR Cryptol. ePrint Arch., 2019)

Public-Key Function-Private Hidden Vector Encryption (and More). - James Bartusek; Brent Carmer; Abhishek Jain 002; Zhengzhong Jin; Tancrède Lepoint; Fermi Ma; Tal Malkin; Alex J. Malozemoff; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2019)

A type system for extracting functional specifications from memory-safe imperative programs. - Paul He; Eddy Westbrook; Brent Carmer; Chris Phifer; Valentin Robert; Karl Smeltzer; Andrei Stefanescu; Aaron Tomb; Adam Wick; Matthew Yacavone; Steve Zdancewic (Proc. ACM Program. Lang., 2021)