Brent Carmer

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 11

Top Topics

Imperative Programs

Image Authentication

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

Publications

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Marshall Ball, Brent Carmer, Tal Malkin, Mike Rosulek, Nichole Schimanski
Garbled Neural Networks are Practical. IACR Cryptol. ePrint Arch. 2019 (2019)
James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, Mariana Raykova
Public-Key Function-Private Hidden Vector Encryption (and More). IACR Cryptol. ePrint Arch. 2019 (2019)
James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, Mariana Raykova
Public-Key Function-Private Hidden Vector Encryption (and More). ASIACRYPT (3) (2019)
Brent Carmer, Alex J. Malozemoff, Mariana Raykova
5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits. CCS (2017)
Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) (2017)
Brent Carmer, Alex J. Malozemoff, Mariana Raykova
5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits. IACR Cryptol. ePrint Arch. 2017 (2017)
Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer, Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. CCS (2016)
Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer, Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. IACR Cryptol. ePrint Arch. 2016 (2016)
Brent Carmer, Mike Rosulek
Linicrypt: A Model for Practical Cryptography. IACR Cryptol. ePrint Arch. 2016 (2016)
Brent Carmer, Mike Rosulek
Linicrypt: A Model for Practical Cryptography. CRYPTO (3) (2016)
Brent Carmer, Mike Rosulek
Vamonos: Embeddable visualizations of advanced algorithms. FIE (2015)