Alex J. Malozemoff

According to our database, Alex J. Malozemoff authored at least 23 papers between 2013 and 2022.

Collaborative distances:

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

2022

Towards a Formal Treatment of Logic Locking.

Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo

IACR Cryptol. ePrint Arch., 2022

Security Foundations for Application-Based Covert Communication Channels.

James K. Howes IV, Marios Georgiou, Alex J. Malozemoff, Thomas Shrimpton

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Balboa: Bobbing and Weaving around Network Censorship.

Marc B. Rosen, James Parker, Alex J. Malozemoff

Proceedings of the 30th USENIX Security Symposium, 2021

Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions.

Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

Mac'n'Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions.

Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl

IACR Cryptol. ePrint Arch., 2020

2019

RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications.

David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, Gerard W. Ryan

Proceedings of the 7th ACM Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 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

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

2018

Building Applications with Homomorphic Encryption.

Roger A. Hallman, Kim Laine, Wei Dai, Nicolas Gama, Alex J. Malozemoff, Yuriy Polyakov, Sergiu Carpov

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Faster Secure Two-Party Computation in the Single-Execution Setting.

Xiao Wang, Alex J. Malozemoff, Jonathan Katz

Proceedings of the Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30, 2017

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

Brent Carmer, Alex J. Malozemoff, Mariana Raykova

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Faster Two-Party Computation Secure Against Malicious Adversaries in the Single-Execution Setting.

Xiao Wang, Alex J. Malozemoff, Jonathan Katz

IACR Cryptol. ePrint Arch., 2016

Efficiently Enforcing Input Validity in Secure Two-party Computation.

Jonathan Katz, Alex J. Malozemoff, Xiao Wang

IACR Cryptol. ePrint Arch., 2016

CompGC: Efficient Offline/Online Semi-honest Two-party Computation.

Adam Groce, Alex Ledger, Alex J. Malozemoff, Arkady Yerukhimovich

IACR Cryptol. ePrint Arch., 2016

A Unified Approach to Idealized Model Separations via Indistinguishability Obfuscation.

Matthew D. Green, Jonathan Katz, Alex J. Malozemoff, Hong-Sheng Zhou

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 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

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Attribute-based Key Exchange with General Policies.

Vladimir Kolesnikov, Hugo Krawczyk, Yehuda Lindell, Alex J. Malozemoff, Tal Rabin

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Automated Analysis and Synthesis of Authenticated Encryption Schemes.

Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Public Verifiability in the Covert Model (Almost) for Free.

Vladimir Kolesnikov, Alex J. Malozemoff

Proceedings of the Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29, 2015

2014

Implementing Cryptographic Program Obfuscation.

Daniel Apon, Yan Huang, Jonathan Katz, Alex J. Malozemoff

IACR Cryptol. ePrint Arch., 2014

Automated Analysis and Synthesis of Block-Cipher Modes of Operation.

Alex J. Malozemoff, Jonathan Katz, Matthew D. Green

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Amortizing Garbled Circuits.

Yan Huang, Jonathan Katz, Vladimir Kolesnikov, Ranjit Kumaresan, Alex J. Malozemoff

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

Efficient Three-Party Computation from Cut-and-Choose.

Seung Geol Choi, Jonathan Katz, Alex J. Malozemoff, Vassilis Zikas

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

2013

One-Round Multi-Party Communication Complexity of Distinguishing Sums.

Daniel Apon, Jonathan Katz, Alex J. Malozemoff

Electron. Colloquium Comput. Complex., 2013