Alex J. Malozemoff

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 23

Top Topics

Homomorphic Encryption

Formal Treatment

Automated Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo
Towards a Formal Treatment of Logic Locking. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (2) (2022)
Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo
Towards a Formal Treatment of Logic Locking. IACR Cryptol. ePrint Arch. 2022 (2022)
James K. Howes IV, Marios Georgiou, Alex J. Malozemoff, Thomas Shrimpton
Security Foundations for Application-Based Covert Communication Channels. IEEE Symposium on Security and Privacy (2022)
Marc B. Rosen, James Parker, Alex J. Malozemoff
Balboa: Bobbing and Weaving around Network Censorship. CoRR (2021)
Marc B. Rosen, James Parker, Alex J. Malozemoff
Balboa: Bobbing and Weaving around Network Censorship. USENIX Security Symposium (2021)
Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl
Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions. CRYPTO (4) (2021)
Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl
Mac'n'Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions. IACR Cryptol. ePrint Arch. 2020 (2020)
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)
David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, Gerard W. Ryan
RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. WAHC@CCS (2019)
David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, Gerard W. Ryan
RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. IACR Cryptol. ePrint Arch. 2019 (2019)
Roger A. Hallman, Kim Laine, Wei Dai, Nicolas Gama, Alex J. Malozemoff, Yuriy Polyakov, Sergiu Carpov
Building Applications with Homomorphic Encryption. CCS (2018)
Brent Carmer, Alex J. Malozemoff, Mariana Raykova
5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits. CCS (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)
Xiao Wang, Alex J. Malozemoff, Jonathan Katz
Faster Secure Two-Party Computation in the Single-Execution Setting. EUROCRYPT (3) (2017)
Adam Groce, Alex Ledger, Alex J. Malozemoff, Arkady Yerukhimovich
CompGC: Efficient Offline/Online Semi-honest Two-party Computation. IACR Cryptol. ePrint Arch. 2016 (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. 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)
Vladimir Kolesnikov, Hugo Krawczyk, Yehuda Lindell, Alex J. Malozemoff, Tal Rabin
Attribute-based Key Exchange with General Policies. IACR Cryptol. ePrint Arch. 2016 (2016)
Vladimir Kolesnikov, Hugo Krawczyk, Yehuda Lindell, Alex J. Malozemoff, Tal Rabin
Attribute-based Key Exchange with General Policies. CCS (2016)
Xiao Wang, Alex J. Malozemoff, Jonathan Katz
Faster Two-Party Computation Secure Against Malicious Adversaries in the Single-Execution Setting. IACR Cryptol. ePrint Arch. 2016 (2016)
Jonathan Katz, Alex J. Malozemoff, Xiao Wang
Efficiently Enforcing Input Validity in Secure Two-party Computation. IACR Cryptol. ePrint Arch. 2016 (2016)
Matthew D. Green, Jonathan Katz, Alex J. Malozemoff, Hong-Sheng Zhou
A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation. SCN (2016)
Vladimir Kolesnikov, Alex J. Malozemoff
Public Verifiability in the Covert Model (Almost) for Free. IACR Cryptol. ePrint Arch. 2015 (2015)
Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff
Automated Analysis and Synthesis of Authenticated Encryption Schemes. IACR Cryptol. ePrint Arch. 2015 (2015)
Vladimir Kolesnikov, Alex J. Malozemoff
Public Verifiability in the Covert Model (Almost) for Free. ASIACRYPT (2) (2015)
Yan Huang, Jonathan Katz, Vladimir Kolesnikov, Ranjit Kumaresan, Alex J. Malozemoff
Amortizing Garbled Circuits. IACR Cryptol. ePrint Arch. 2015 (2015)
Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff
Automated Analysis and Synthesis of Authenticated Encryption Schemes. CCS (2015)
Alex J. Malozemoff, Jonathan Katz, Matthew D. Green
Automated Analysis and Synthesis of Block-Cipher Modes of Operation. IACR Cryptol. ePrint Arch. 2014 (2014)
Matthew D. Green, Jonathan Katz, Alex J. Malozemoff, Hong-Sheng Zhou
A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation. IACR Cryptol. ePrint Arch. 2014 (2014)
Alex J. Malozemoff, Jonathan Katz, Matthew D. Green
Automated Analysis and Synthesis of Block-Cipher Modes of Operation. CSF (2014)
Seung Geol Choi, Jonathan Katz, Alex J. Malozemoff, Vassilis Zikas
Efficient Three-Party Computation from Cut-and-Choose. IACR Cryptol. ePrint Arch. 2014 (2014)
Daniel Apon, Yan Huang, Jonathan Katz, Alex J. Malozemoff
Implementing Cryptographic Program Obfuscation. IACR Cryptol. ePrint Arch. 2014 (2014)
Yan Huang, Jonathan Katz, Vladimir Kolesnikov, Ranjit Kumaresan, Alex J. Malozemoff
Amortizing Garbled Circuits. CRYPTO (2) (2014)
Seung Geol Choi, Jonathan Katz, Alex J. Malozemoff, Vassilis Zikas
Efficient Three-Party Computation from Cut-and-Choose. CRYPTO (2) (2014)
Daniel Apon, Jonathan Katz, Alex J. Malozemoff
One-Round Multi-Party Communication Complexity of Distinguishing Sums CoRR (2013)
Daniel Apon, Jonathan Katz, Alex J. Malozemoff
One-round multi-party communication complexity of distinguishing sums. Theor. Comput. Sci. 501 (2013)
Daniel Apon, Jonathan Katz, Alex J. Malozemoff
One-Round Multi-Party Communication Complexity of Distinguishing Sums. Electron. Colloquium Comput. Complex. 20 (2013)