| 2025 | CCS | Encrypted Matrix-Vector Products from Secret Dual Codes. | Fabrice Benhamouda, Caicai Chen, Shai Halevi, Yuval Ishai, Hugo Krawczyk, Tamer Mour, Tal Rabin, Alon Rosen |
| 2025 | SP | Gold OPRF: Post-Quantum Oblivious Power-Residue PRF. | Yibin Yang, Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Tal Rabin |
| 2024 | EuroCrypt | SPRINT: High-Throughput Robust Distributed Schnorr Signatures. | Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Yiping Ma, Tal Rabin |
| 2023 | CRYPTO | Additive Randomized Encodings and Their Applications. | Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Tal Rabin |
| 2023 | TCC | Security with Functional Re-encryption from CPA. | Yevgeniy Dodis, Shai Halevi, Daniel Wichs |
| 2022 | CCS | OpenFHE: Open-Source Fully Homomorphic Encryption Library. | Ahmad Al Badawi, Jack Bates, Flvio Bergamaschi, David Bruce Cousins, Saroja Erabelli, Nicholas Genise, Shai Halevi, Hamish Hunt, Andrey Kim, Yongwoo Lee, Zeyu Liu, Daniele Micciancio, Ian Quah, Yuriy Polyakov, R. V. Saraswathy, Kurt Rohloff, Jonathan Saylor, Dmitriy Suponitsky, Matthew Triplett, Vinod Vaikuntanathan, Vincent Zucca |
| 2022 | CCS | Threshold Cryptography as a Service (in the Multiserver and YOSO Models). | Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Alex Miao, Tal Rabin |
| 2022 | EuroCrypt | Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties. | Craig Gentry, Shai Halevi, Vadim Lyubashevsky |
| 2022 | TCC | Achievable CCA2 Relaxation for Homomorphic Encryption. | Adi Akavia, Craig Gentry, Shai Halevi, Margarita Vald |
| 2022 | TCC | Random-Index Oblivious RAM. | Shai Halevi, Eyal Kushilevitz |
| 2021 | CRYPTO | YOSO: You Only Speak Once - Secure MPC with Stateless Ephemeral Roles. | Craig Gentry, Shai Halevi, Hugo Krawczyk, Bernardo Magri, Jesper Buus Nielsen, Tal Rabin, Sophia Yakoubov |
| 2021 | TCC | Generalized Pseudorandom Secret Sharing and Efficient Straggler-Resilient Secure Computation. | Fabrice Benhamouda, Elette Boyle, Niv Gilboa, Shai Halevi, Yuval Ishai, Ariel Nof |
| 2021 | TCC | Random-Index PIR and Applications. | Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen, Sophia Yakoubov |
| 2020 | TCC | Can a Public Blockchain Keep a Secret? | Fabrice Benhamouda, Craig Gentry, Sergey Gorbunov, Shai Halevi, Hugo Krawczyk, Chengyu Lin, Tal Rabin, Leonid Reyzin |
| 2019 | ACNS | Homomorphic Training of 30, 000 Logistic Regression Models. | Flvio Bergamaschi, Shai Halevi, Tzipora T. Halevi, Hamish Hunt |
| 2019 | ASIACRYPT | Homomorphic Encryption for Finite Automata. | Nicholas Genise, Craig Gentry, Shai Halevi, Baiyu Li, Daniele Micciancio |
| 2019 | CVPR | Towards Deep Neural Network Training on Encrypted Data. | Karthik Nandakumar, Nalini K. Ratha, Sharath Pankanti, Shai Halevi |
| 2019 | TCC | Compressible FHE with Applications to PIR. | Craig Gentry, Shai Halevi |
| 2019 | TCC | On Fully Secure MPC with Solitary Output. | Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Nikolaos Makriyannis, Tal Rabin |
| 2018 | CCS | Doing Real Work with FHE: The Case of Logistic Regression. | Jack L. H. Crawford, Craig Gentry, Shai Halevi, Daniel Platt, Victor Shoup |
| 2018 | CCS | Advanced Cryptography: Promise and Challenges. | Shai Halevi |
| 2018 | CRYPTO | Round-Optimal Secure Multi-Party Computation. | Shai Halevi, Carmit Hazay, Antigoni Polychroniadou, Muthuramakrishnan Venkitasubramaniam |
| 2018 | CRYPTO | Faster Homomorphic Linear Transformations in HElib. | Shai Halevi, Victor Shoup |
| 2018 | IC2E | Supporting Private Data on Hyperledger Fabric with Secure Multiparty Computation. | Fabrice Benhamouda, Shai Halevi, Tzipora Halevi |
| 2018 | TCC | Best Possible Information-Theoretic MPC. | Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Tal Rabin |
| 2017 | ASIACRYPT | Non-Interactive Multiparty Computation Without Correlated Randomness. | Shai Halevi, Yuval Ishai, Abhishek Jain, Ilan Komargodski, Amit Sahai, Eylon Yogev |
| 2017 | CCS | Implementing BP-Obfuscation Using Graph-Induced Encoding. | Shai Halevi, Tzipora Halevi, Victor Shoup, Noah Stephens-Davidowitz |
| 2017 | EuroCrypt | Cryptanalyses of Candidate Branching Program Obfuscators. | Yilei Chen, Craig Gentry, Shai Halevi |
| 2017 | TCC | Four Round Secure Computation Without Setup. | Zvika Brakerski, Shai Halevi, Antigoni Polychroniadou |
| 2016 | CRYPTO | Spooky Encryption and Its Applications. | Yevgeniy Dodis, Shai Halevi, Ron D. Rothblum, Daniel Wichs |
| 2016 | TCC | Functional Encryption Without Obfuscation. | Sanjam Garg, Craig Gentry, Shai Halevi, Mark Zhandry |
| 2015 | ACNS | Private Database Access with HE-over-ORAM Architecture. | Craig Gentry, Shai Halevi, Charanjit S. Jutla, Mariana Raykova |
| 2015 | CRYPTO | Zeroizing Without Low-Level Zeroes: New MMAP Attacks and their Limitations. | Jean-Sbastien Coron, Craig Gentry, Shai Halevi, Tancrde Lepoint, Hemanta K. Maji, Eric Miles, Mariana Raykova, Amit Sahai, Mehdi Tibouchi |
| 2015 | EuroCrypt | Bootstrapping for HElib. | Shai Halevi, Victor Shoup |
| 2015 | TCC | Graph-Induced Multilinear Maps from Lattices. | Craig Gentry, Sergey Gorbunov, Shai Halevi |
| 2014 | CRYPTO | On the Implausibility of Differing-Inputs Obfuscation and Extractable Witness Encryption with Auxiliary Input. | Sanjam Garg, Craig Gentry, Shai Halevi, Daniel Wichs |
| 2014 | CRYPTO | Algorithms in HElib. | Shai Halevi, Victor Shoup |
| 2014 | EuroCrypt | Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits. | Dan Boneh, Craig Gentry, Sergey Gorbunov, Shai Halevi, Valeria Nikolaenko, Gil Segev, Vinod Vaikuntanathan, Dhinakaran Vinayagamurthy |
| 2014 | EuroCrypt | Garbled RAM Revisited. | Craig Gentry, Shai Halevi, Steve Lu, Rafail Ostrovsky, Mariana Raykova, Daniel Wichs |
| 2014 | FOCS | Outsourcing Private RAM Computation. | Craig Gentry, Shai Halevi, Mariana Raykova, Daniel Wichs |
| 2014 | TCC | Two-Round Secure MPC from Indistinguishability Obfuscation. | Sanjam Garg, Craig Gentry, Shai Halevi, Mariana Raykova |
| 2013 | ACNS | Private Database Queries Using Somewhat Homomorphic Encryption. | Dan Boneh, Craig Gentry, Shai Halevi, Frank Wang, David J. Wu |
| 2013 | ASIACRYPT | Discrete Gaussian Leftover Hash Lemma over Infinite Domains. | Shweta Agrawal, Craig Gentry, Shai Halevi, Amit Sahai |
| 2013 | CRYPTO | Attribute-Based Encryption for Circuits from Multilinear Maps. | Sanjam Garg, Craig Gentry, Shai Halevi, Amit Sahai, Brent Waters |
| 2013 | EuroCrypt | Candidate Multilinear Maps from Ideal Lattices. | Sanjam Garg, Craig Gentry, Shai Halevi |
| 2013 | FOCS | Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits. | Sanjam Garg, Craig Gentry, Shai Halevi, Mariana Raykova, Amit Sahai, Brent Waters |
| 2013 | PKC | Packed Ciphertexts in LWE-Based Homomorphic Encryption. | Zvika Brakerski, Craig Gentry, Shai Halevi |
| 2012 | CRYPTO | Homomorphic Evaluation of the AES Circuit. | Craig Gentry, Shai Halevi, Nigel P. Smart |
| 2012 | EuroCrypt | Fully Homomorphic Encryption with Polylog Overhead. | Craig Gentry, Shai Halevi, Nigel P. Smart |
| 2012 | PKC | Better Bootstrapping in Fully Homomorphic Encryption. | Craig Gentry, Shai Halevi, Nigel P. Smart |
| 2012 | SCN | Ring Switching in BGV-Style Homomorphic Encryption. | Craig Gentry, Shai Halevi, Chris Peikert, Nigel P. Smart |
| 2012 | TCC | Leakage-Tolerant Interactive Protocols. | Nir Bitansky, Ran Canetti, Shai Halevi |
| 2011 | ACNS | Composable Security Analysis of OS Services. | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema |
| 2011 | ASIACRYPT | Program Obfuscation with Leaky Hardware. | Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum |
| 2011 | CCS | Proofs of ownership in remote storage systems. | Shai Halevi, Danny Harnik, Benny Pinkas, Alexandra Shulman-Peleg |
| 2011 | CRYPTO | Secure Computation on the Web: Computing without Simultaneous Interaction. | Shai Halevi, Yehuda Lindell, Benny Pinkas |
| 2011 | EuroCrypt | Implementing Gentry's Fully-Homomorphic Encryption Scheme. | Craig Gentry, Shai Halevi |
| 2011 | FOCS | Fully Homomorphic Encryption without Squashing Using Depth-3 Arithmetic Circuits. | Craig Gentry, Shai Halevi |
| 2011 | PKC | One-Pass HMQV and Asymmetric Key-Wrapping. | Shai Halevi, Hugo Krawczyk |
| 2011 | TCC | After-the-Fact Leakage in Public-Key Encryption. | Shai Halevi, Huijia Lin |
| 2010 | CRYPTO | Untitled record | Craig Gentry, Shai Halevi, Vinod Vaikuntanathan |
| 2010 | EuroCrypt | Fully Homomorphic Encryption over the Integers. | Marten van Dijk, Craig Gentry, Shai Halevi, Vinod Vaikuntanathan |
| 2010 | EuroCrypt | A Simple BGN-Type Cryptosystem from LWE. | Craig Gentry, Shai Halevi, Vinod Vaikuntanathan |
| 2010 | NDSS | Where Do You Want to Go Today? Escalating Privileges by Pathname Manipulation. | Suresh Chari, Shai Halevi, Wietse Z. Venema |
| 2009 | CCS | Attacking cryptographic schemes based on "perturbation polynomials". | Martin R. Albrecht, Craig Gentry, Shai Halevi, Jonathan Katz |
| 2009 | TCC | Hierarchical Identity Based Encryption with Polynomially Many Levels. | Craig Gentry, Shai Halevi |
| 2008 | CRYPTO | Circular-Secure Encryption from Decision Diffie-Hellman. | Dan Boneh, Shai Halevi, Michael Hamburg, Rafail Ostrovsky |
| 2008 | ESORICS | Strongly-Resilient and Non-interactive Hierarchical Key-Agreement in MANETs. | Rosario Gennaro, Shai Halevi, Hugo Krawczyk, Tal Rabin, Steffen Reidt, Stephen D. Wolthusen |
| 2008 | EuroCrypt | Threshold RSA for Dynamic and Ad-Hoc Groups. | Rosario Gennaro, Shai Halevi, Hugo Krawczyk, Tal Rabin |
| 2008 | SIGCOMM | Rationality and traffic attraction: incentives for honest path announcements in bgp. | Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright |
| 2008 | SCN | Storage Encryption: A Cryptographer's View. | Shai Halevi |
| 2008 | TCC | On Seed-Incompressible Functions. | Shai Halevi, Steven A. Myers, Charles Rackoff |
| 2008 | TCC | Degradation and Amplification of Computational Hardness. | Shai Halevi, Tal Rabin |
| 2007 | CCS | Security under key-dependent inputs. | Shai Halevi, Hugo Krawczyk |
| 2007 | CRYPTO | Invertible Universal Hashing and the TET Encryption Mode. | Shai Halevi |
| 2006 | CRYPTO | Mitigating Dictionary Attacks on Password-Protected Local Storage. | Ran Canetti, Shai Halevi, Michael Steiner |
| 2006 | CRYPTO | Strengthening Digital Signatures Via Randomized Hashing. | Shai Halevi, Hugo Krawczyk |
| 2005 | CCS | A model and architecture for pseudo-random generation with applications to /dev/random. | Boaz Barak, Shai Halevi |
| 2005 | EuroCrypt | Universally Composable Password-Based Key Exchange. | Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie |
| 2005 | TCC | Adaptively-Secure, Non-interactive Public-Key Encryption. | Ran Canetti, Shai Halevi, Jonathan Katz |
| 2005 | TCC | Hardness Amplification of Weakly Verifiable Puzzles. | Ran Canetti, Shai Halevi, Michael Steiner |
| 2004 | EuroCrypt | Chosen-Ciphertext Security from Identity-Based Encryption. | Ran Canetti, Shai Halevi, Jonathan Katz |
| 2004 | INDOCRYPT | EME | Shai Halevi |
| 2004 | TCC | On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes. | Ran Canetti, Oded Goldreich, Shai Halevi |
| 2003 | CRYPTO | A Tweakable Enciphering Mode. | Shai Halevi, Phillip Rogaway |
| 2003 | EuroCrypt | A Forward-Secure Public-Key Encryption Scheme. | Ran Canetti, Shai Halevi, Jonathan Katz |
| 2002 | CRYPTO | Cryptanalysis of Stream Ciphers with Linear Masking. | Don Coppersmith, Shai Halevi, Charanjit S. Jutla |
| 2002 | FSE | Scream: A Software-Efficient Stream Cipher. | Shai Halevi, Don Coppersmith, Charanjit S. Jutla |
| 2001 | ASIACRYPT | The Modular Inversion Hidden Number Problem. | Dan Boneh, Shai Halevi, Nick Howgrave-Graham |
| 2001 | STOC | Private approximation of NP-hard functions. | Shai Halevi, Robert Krauthgamer, Eyal Kushilevitz, Kobbi Nissim |
| 2000 | CRYPTO | A Cryptographic Solution to a Game Theoretic Problem. | Yevgeniy Dodis, Shai Halevi, Tal Rabin |
| 2000 | EuroCrypt | Exposure-Resilient Functions and All-or-Nothing Transforms. | Ran Canetti, Yevgeniy Dodis, Shai Halevi, Eyal Kushilevitz, Amit Sahai |
| 2000 | EuroCrypt | Computing Inverses over a Shared Secret Modulus. | Dario Catalano, Rosario Gennaro, Shai Halevi |
| 2000 | PODC | Clock synchronization with faults and recoveries (extended abstract). | Boaz Barak, Shai Halevi, Amir Herzberg, Dalit Naor |
| 1999 | CRYPTO | UMAC: Fast and Secure Message Authentication. | John Black, Shai Halevi, Hugo Krawczyk, Ted Krovetz, Phillip Rogaway |
| 1999 | EuroCrypt | Secure Hash-and-Sign Signatures Without the Random Oracle. | Rosario Gennaro, Shai Halevi, Tal Rabin |
| 1998 | CCS | Public-Key Cryptography and Password Protocols. | Shai Halevi, Hugo Krawczyk |
| 1998 | CRYPTO | Many-to-One Trapdoor Functions and Their Ralation to Public-Key Cryptosystems. | Mihir Bellare, Shai Halevi, Amit Sahai, Salil P. Vadhan |
| 1998 | STOC | The Random Oracle Methodology, Revisited (Preliminary Version). | Ran Canetti, Oded Goldreich, Shai Halevi |
| 1997 | CRYPTO | Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem. | Oded Goldreich, Shafi Goldwasser, Shai Halevi |
| 1997 | CRYPTO | Public-Key Cryptosystems from Lattice Reduction Problems. | Oded Goldreich, Shafi Goldwasser, Shai Halevi |
| 1997 | FSE | MMH: Software Message Authentication in the Gbit/Second Rates. | Shai Halevi, Hugo Krawczyk |
| 1997 | PODC | Maintaining Authenticated Communication in the Presence of Break-ins. | Ran Canetti, Shai Halevi, Amir Herzberg |
| 1996 | CRYPTO | Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing. | Shai Halevi, Silvio Micali |
| 1995 | CRYPTO | Efficient Commitment Schemes with Bounded Sender and Unbounded Receiver. | Shai Halevi |
| 1994 | PODC | Potential Function Analysis of Greedy Hot-Potato Routing. | Amir Ben-Dor, Shai Halevi, Assaf Schuster |