Brent Carmer

According to our database, Brent Carmer authored at least 8 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

2019

Public-Key Function-Private Hidden Vector Encryption (and More).

James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, Mariana Raykova

IACR Cryptol. ePrint Arch., 2019

Garbled Neural Networks are Practical.

Marshall Ball, Brent Carmer, Tal Malkin, Mike Rosulek, Nichole Schimanski

IACR Cryptol. ePrint Arch., 2019

2017

5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits.

Brent Carmer, Alex J. Malozemoff, Mariana Raykova

IACR Cryptol. ePrint Arch., 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova

IACR Cryptol. ePrint Arch., 2016

Linicrypt: A Model for Practical Cryptography.

Brent Carmer, Mike Rosulek

IACR Cryptol. ePrint Arch., 2016

2015

Vamonos: Embeddable visualizations of advanced algorithms.

Brent Carmer, Mike Rosulek

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015