Brent Carmer

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