Brent Carmer
Brent Carmer
Galois, Inc
Verified email at
Cited by
Cited by
5gen: A framework for prototyping applications using multilinear maps and matrix branching programs
K Lewi, AJ Malozemoff, D Apon, B Carmer, A Foltzer, D Wagner, ...
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Garbled Neural Networks are Practical.
M Ball, B Carmer, T Malkin, M Rosulek, N Schimanski
IACR Cryptol. ePrint Arch. 2019, 338, 2019
Linicrypt: a model for practical cryptography
B Carmer, M Rosulek
Annual International Cryptology Conference, 416-445, 2016
5gen-c: multi-input functional encryption and program obfuscation for arithmetic circuits
B Carmer, AJ Malozemoff, M Raykova
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
Look for the proof to find the program: Decorated-component-based program synthesis
A Gascón, A Tiwari, B Carmer, U Mathur
International Conference on Computer Aided Verification, 86-103, 2017
Block Ciphers, Homomorphically
B Carmer, DW Archer
Galois, Inc. Blog, 2014
Vamonos: Embeddable visualizations of advanced algorithms
B Carmer, M Rosulek
2015 IEEE Frontiers in Education Conference (FIE), 1-8, 2015
Public-Key Function-Private Hidden Vector Encryption (and More)
J Bartusek, B Carmer, A Jain, Z Jin, T Lepoint, F Ma, T Malkin, ...
International Conference on the Theory and Application of Cryptology and …, 2019
Optimizing Cryptographic Obfuscation
B Carmer
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
B Carmer, U Mathur
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
The system can't perform the operation now. Try again later.
Articles 1–10