| 2025 | ASIACRYPT | Towards Building Efficient SCALES Protocols. | Anasuya Acharya, Carmit Hazay, Vladimir Kolesnikov, Manoj Prabhakaran |
| 2025 | ASIACRYPT | Laconic Cryptography with Preprocessing. | Rishabh Bhadauria, Nico Dttling, Carmit Hazay, Chuanwei Lin |
| 2025 | CRYPTO | mega (1/λ )-Rate Boolean Garbling Scheme from Generic Groups. | Geoffroy Couteau, Carmit Hazay, Aditya Hegde, Naman Kumar |
| 2025 | EuroCrypt | Breaking the 1/λ-Rate Barrier for Arithmetic Garbling. | Geoffroy Couteau, Carmit Hazay, Aditya Hegde, Naman Kumar |
| 2025 | TCC | On Achieving "Best-in-the-Multiverse" MPC. | Anasuya Acharya, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2024 | ASIACRYPT | sfLogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. | Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang |
| 2024 | CCS | Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction. | Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam |
| 2024 | CRYPTO | Malicious Security for SCALES - Outsourced Computation with Ephemeral Servers. | Anasuya Acharya, Carmit Hazay, Vladimir Kolesnikov, Manoj Prabhakaran |
| 2024 | EuroCrypt | Toward Malicious Constant-Rate 2PC via Arithmetic Garbling. | Carmit Hazay, Yibin Yang |
| 2024 | OPODIS | Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. | Timoth Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, Franois Taani, Vassilis Zikas |
| 2024 | SP | Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs Post-Quantum ZK-SNARKs on a Browser. | Ruihan Wang, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2024 | SCN | sfLR-sfOT: Leakage-Resilient Oblivious Transfer. | Francesco Berti, Carmit Hazay, Itamar Levi |
| 2023 | ACNS | A New Approach to Garbled Circuits. | Anasuya Acharya, Tomer Ashur, Efrat Cohen, Carmit Hazay, Avishay Yanai |
| 2023 | AsiaCCS | Flag: A Framework for Lightweight Robust Secure Aggregation. | Laasya Bangalore, Mohammad Hossein Faghihi Sereshgi, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2023 | CCS | Batchman and Robin: Batched and Non-batched Branching for Interactive ZK. | Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam |
| 2023 | CRYPTO | Best of Both Worlds - Revisiting the Spymasters Double Agent Problem. | Anasuya Acharya, Carmit Hazay, Oxana Poburinnaya, Muthuramakrishnan Venkitasubramaniam |
| 2023 | PKC | Private Polynomial Commitments and Applications to MPC. | Rishabh Bhadauria, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Wenxuan Wu, Yupeng Zhang |
| 2023 | TCC | Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Mor Weiss |
| 2023 | TCC | Your Reputation's Safe with Me: Framing-Free Distributed Zero-Knowledge Proofs. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Mor Weiss |
| 2022 | EuroCrypt | Asymptotically Quasi-Optimal Cryptography. | Leo de Castro, Carmit Hazay, Yuval Ishai, Vinod Vaikuntanathan, Muthuramakrishnan Venkitasubramaniam |
| 2022 | PKC | Financially Backed Covert Security. | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
| 2022 | SECRYPT | Comparison-based MPC in Star Topology. | Gowri R. Chandran, Carmit Hazay, Robin Hundt, Thomas Schneider |
| 2022 | TCC | SCALES - MPC with Small Clients and Larger Ephemeral Servers. | Anasuya Acharya, Carmit Hazay, Vladimir Kolesnikov, Manoj Prabhakaran |
| 2022 | TCC | On Black-Box Constructions of Time and Space Efficient Sublinear Arguments from Symmetric-Key Primitives. | Laasya Bangalore, Rishabh Bhadauria, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2021 | EuroCrypt | Generic Compiler for Publicly Verifiable Covert Multi-Party Computation. | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
| 2021 | SP | Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority. | Megan Chen, Carmit Hazay, Yuval Ishai, Yuriy Kashnikov, Daniele Micciancio, Tarik Riviere, Abhi Shelat, Muthuramakrishnan Venkitasubramaniam, Ruihan Wang |
| 2020 | CCS | Is the Classical GMW Paradigm Practical? The Case of Non-Interactive Actively Secure 2PC. | Jackson Abascal, Mohammad Hossein Faghihi Sereshgi, Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam |
| 2020 | CCS | Ligero++: A New Optimized Sublinear IOP. | Rishabh Bhadauria, Zhiyong Fang, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Tiancheng Xie, Yupeng Zhang |
| 2020 | EuroCrypt | Which Languages Have 4-Round Fully Black-Box Zero-Knowledge Arguments from One-Way Functions? | Carmit Hazay, Rafael Pass, Muthuramakrishnan Venkitasubramaniam |
| 2020 | EuroCrypt | The Price of Active Security in Cryptographic Protocols. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Mor Weiss |
| 2020 | PKC | Going Beyond Dual Execution: MPC for Functions with Efficient Verification. | Carmit Hazay, Abhi Shelat, Muthuramakrishnan Venkitasubramaniam |
| 2020 | SCN | Multi-clients Verifiable Computation via Conditional Disclosure of Secrets. | Rishabh Bhadauria, Carmit Hazay |
| 2020 | SCN | Gradual GRAM and Secure Computation for RAM Programs. | Carmit Hazay, Mor Lilintal |
| 2019 | CCS | Fast Actively Secure Five-Party Computation with Security Beyond Abort. | Megha Byali, Carmit Hazay, Arpita Patra, Swati Singla |
| 2019 | CCS | LevioSA: Lightweight Secure Arithmetic Computation. | Carmit Hazay, Yuval Ishai, Antonio Marcedone, Muthuramakrishnan Venkitasubramaniam |
| 2018 | ASIACRYPT | Concretely Efficient Large-Scale MPC with Active Security (or, TinyKeys for TinyOT). | Carmit Hazay, Emmanuela Orsini, Peter Scholl, Eduardo Soria-Vazquez |
| 2018 | CRYPTO | Round-Optimal Secure Multi-Party Computation. | Shai Halevi, Carmit Hazay, Antigoni Polychroniadou, Muthuramakrishnan Venkitasubramaniam |
| 2018 | CRYPTO | TinyKeys: A New Approach to Efficient Multi-Party Computation. | Carmit Hazay, Emmanuela Orsini, Peter Scholl, Eduardo Soria-Vazquez |
| 2018 | TCC | Round-Optimal Fully Black-Box Zero-Knowledge Arguments from One-Way Permutations. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2017 | ASIACRYPT | Low Cost Constant Round MPC Combining BMR and Oblivious Transfer. | Carmit Hazay, Peter Scholl, Eduardo Soria-Vazquez |
| 2017 | CCS | Ligero: Lightweight Sublinear Arguments Without a Trusted Setup. | Scott Ames, Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam |
| 2017 | PKC | Constant Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model. | Carmit Hazay, Antigoni Polychroniadou, Muthuramakrishnan Venkitasubramaniam |
| 2017 | PKC | Scalable Multi-party Private Set-Intersection. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2017 | TCC | Actively Secure Garbled Circuits with Constant Communication Overhead in the Plain Model. | Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam |
| 2016 | CRYPTO | On the Power of Secure Two-Party Computation. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2016 | SCN | What Security Can We Achieve Within 4 Rounds? | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2016 | SCN | The Feasibility of Outsourced Database Search in the Plain Model. | Carmit Hazay, Hila Zarosim |
| 2016 | TCC | Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity. | Carmit Hazay, Antigoni Polychroniadou, Muthuramakrishnan Venkitasubramaniam |
| 2016 | TCC | Composable Adaptive Secure Protocols Without Setup Under Polytime Assumptions. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2016 | TCC | Constant-Round Maliciously Secure Two-Party Computation in the RAM Model. | Carmit Hazay, Avishay Yanai |
| 2015 | ASIACRYPT | Selective Opening Security for Receivers. | Carmit Hazay, Arpita Patra, Bogdan Warinschi |
| 2015 | ASIACRYPT | On Black-Box Complexity of Universally Composable Security in the CRS Model. | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam |
| 2015 | PODC | Adaptively Secure Computation with Partial Erasures. | Carmit Hazay, Yehuda Lindell, Arpita Patra |
| 2015 | TCC | Oblivious Polynomial Evaluation and Secure Set-Intersection from Algebraic PRFs. | Carmit Hazay |
| 2014 | TCC | One-Sided Adaptively Secure Two-Party Computation. | Carmit Hazay, Arpita Patra |
| 2013 | EuroCrypt | Leakage-Resilient Cryptography from Minimal Assumptions. | Carmit Hazay, Adriana Lpez-Alt, Hoeteck Wee, Daniel Wichs |
| 2013 | ICALP | Outsourced Pattern Matching. | Sebastian Faust, Carmit Hazay, Daniele Venturi |
| 2012 | ASIACRYPT | Signature Schemes Secure against Hard-to-Invert Leakage. | Sebastian Faust, Carmit Hazay, Jesper Buus Nielsen, Peter Sebastian Nordholt, Angela Zottarel |
| 2012 | PODC | Distributed public key schemes secure against continual leakage. | Adi Akavia, Shafi Goldwasser, Carmit Hazay |
| 2012 | TCC | Secure Two-Party Computation with Low Communication. | Ivan Damgrd, Sebastian Faust, Carmit Hazay |
| 2011 | EuroCrypt | Towards a Game Theoretic View of Secure Computation. | Gilad Asharov, Ran Canetti, Carmit Hazay |
| 2010 | ASIACRYPT | Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. | Carmit Hazay, Tomas Toft |
| 2010 | PKC | Text Search Protocols with Simulation Based Security. | Rosario Gennaro, Carmit Hazay, Jeffrey S. Sorensen |
| 2010 | PKC | Efficient Set Operations in the Presence of Malicious Adversaries. | Carmit Hazay, Kobbi Nissim |
| 2009 | DCC | On Compression of Data Encrypted with Block Ciphers. | Demijan Klinc, Carmit Hazay, Ashish Jagmohan, Hugo Krawczyk, Tal Rabin |
| 2008 | CCS | Constructions of truly practical secure protocols using standard smartcards. | Carmit Hazay, Yehuda Lindell |
| 2008 | STOC | Complete fairness in secure two-party computation. | S. Dov Gordon, Carmit Hazay, Jonathan Katz, Yehuda Lindell |
| 2008 | TCC | Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries. | Carmit Hazay, Yehuda Lindell |
| 2007 | TCC | Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions. | Carmit Hazay, Jonathan Katz, Chiu-Yuen Koo, Yehuda Lindell |
| 2005 | CPM | Two Dimensional Parameterized Matching. | Carmit Hazay, Moshe Lewenstein, Dekel Tsur |
| 2004 | ESA | Approximate Parameterized Matching. | Carmit Hazay, Moshe Lewenstein, Dina Sokol |