Brent Carmer

Email: (pgp)
Office: 3048 Kelley Engineering Center

I am a research engineer at Galois. I studied with Mike Rosulek at Oregon State University and enjoy cryptography, theoretical computer science, math, and functional programming. My background is philosophy and music.

Research Interests
  • Secure Multiparty Computation.
    Protocols that compute on secret data.
  • Protocol Synthesis.
    Using a computer to generate cryptographic protocols.
  • Cryptographic Obfuscation.
    Protocols that hide the code of a program, while allowing it to be used.
  • 5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits
    Brent Carmer, Alex Malozemoff, Mariana Raykova
    Appeared at CCS 2017 (eprint) (github)
  • 5Gen: A Framework for Prototyping Applications Using Multilinear Maps
    Kevin Lewi, Alex J. Malozemoff, Daniel Apon, Brent Carmer, Adam Foltzer,
    Daniel Wagner, David W. Archer, Dan Boneh, Jonathan Katz, Mariana Raykova
    Appeared at CCS 2016 (eprint) (github)
  • Linicrypt: A Model for Practical Cryptography
    Brent Carmer and Mike Rosulek
    Appeared at CRYPTO 2016 (eprint) (github)
  • Vamonos: Embeddable Visualizations of Advanced Algorithms
    Brent Carmer and Mike Rosulek