Shai Halevi

According to our database, Shai Halevi authored at least 159 papers between 1993 and 2025.

Collaborative distances:

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

2025

Blockcipher-Based Key Commitment for Nonce-Derived Schemes.

Panos Kampanakis, Shai Halevi, Nevine Maurice Ebeid, Matt Campagna

IACR Cryptol. ePrint Arch., 2025

Blockcipher-Based Key Derivation without PRP/PRF Switching.

Fabrice Benhamouda, Shai Halevi, Panos Kampanakis, Hugo Krawczyk

IACR Cryptol. ePrint Arch., 2025

Encrypted Matrix-Vector Products from Secret Dual Codes.

Fabrice Benhamouda, Caicai Chen, Shai Halevi, Yuval Ishai, Hugo Krawczyk, Tamer Mour, Tal Rabin, Alon Rosen

IACR Cryptol. ePrint Arch., 2025

Gold OPRF: Post-Quantum Oblivious Power-Residue PRF.

Yibin Yang, Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Tal Rabin

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2024

SPRINT: High-Throughput Robust Distributed Schnorr Signatures.

Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Yiping Ma, Tal Rabin

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

2023

Security with Functional Re-encryption from CPA.

Yevgeniy Dodis, Shai Halevi, Daniel Wichs

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

Additive Randomized Encodings and Their Applications.

Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Tal Rabin

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Weighted Secret Sharing from Wiretap Channels.

Fabrice Benhamouda, Shai Halevi, Lev Stambler

Proceedings of the 4th Conference on Information-Theoretic Cryptography, 2023

2022

Random-Index Oblivious RAM.

Shai Halevi, Eyal Kushilevitz

Proceedings of the Theory of Cryptography - 20th International Conference, 2022

Achievable CCA2 Relaxation for Homomorphic Encryption.

Adi Akavia, Craig Gentry, Shai Halevi, Margarita Vald

Proceedings of the Theory of Cryptography - 20th International Conference, 2022

Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties.

Craig Gentry, Shai Halevi, Vadim Lyubashevsky

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

Threshold Cryptography as a Service (in the Multiserver and YOSO Models).

Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Alex Miao, Tal Rabin

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

OpenFHE: Open-Source Fully Homomorphic Encryption Library.

Ahmad Al Badawi, Jack Bates, Flávio 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

Proceedings of the 10th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2022

2021

Random-Index PIR and Applications.

Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen, Sophia Yakoubov

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Generalized Pseudorandom Secret Sharing and Efficient Straggler-Resilient Secure Computation.

Fabrice Benhamouda, Elette Boyle, Niv Gilboa, Shai Halevi, Yuval Ishai, Ariel Nof

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

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

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

Design and implementation of HElib: a homomorphic encryption library.

Shai Halevi, Victor Shoup

IACR Cryptol. ePrint Arch., 2020

Random-index PIR with Applications to Large-Scale Secure MPC.

Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2020

Can a Blockchain Keep a Secret?

Fabrice Benhamouda, Craig Gentry, Sergey Gorbunov, Shai Halevi, Hugo Krawczyk, Chengyu Lin, Tal Rabin, Leonid Reyzin

IACR Cryptol. ePrint Arch., 2020

Can a Public Blockchain Keep a Secret?

Fabrice Benhamouda, Craig Gentry, Sergey Gorbunov, Shai Halevi, Hugo Krawczyk, Chengyu Lin, Tal Rabin, Leonid Reyzin

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

2019

Homomorphic Encryption Standard.

Martin R. Albrecht, Melissa Chase, Hao Chen, Jintai Ding, Shafi Goldwasser, Sergey Gorbunov, Shai Halevi, Jeffrey Hoffstein, Kim Laine, Kristin E. Lauter, Satya Lokam, Daniele Micciancio, Dustin Moody, Travis Morrison, Amit Sahai, Vinod Vaikuntanathan

IACR Cryptol. ePrint Arch., 2019

On Fully Secure MPC with Solitary Output.

Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Nikolaos Makriyannis, Tal Rabin

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Compressible FHE with Applications to PIR.

Craig Gentry, Shai Halevi

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Towards Deep Neural Network Training on Encrypted Data.

Karthik Nandakumar, Nalini K. Ratha, Sharath Pankanti, Shai Halevi

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

An Improved RNS Variant of the BFV Homomorphic Encryption Scheme.

Shai Halevi, Yuriy Polyakov, Victor Shoup

Proceedings of the Topics in Cryptology - CT-RSA 2019, 2019

Initial Public Offering (IPO) on Permissioned Blockchain Using Secure Multiparty Computation.

Tzipora Halevi, Fabrice Benhamouda, Angelo De Caro, Shai Halevi, Charanjit S. Jutla, Yacov Manevich, Qi Zhang

Proceedings of the IEEE International Conference on Blockchain, 2019

Homomorphic Encryption for Finite Automata.

Nicholas Genise, Craig Gentry, Shai Halevi, Baiyu Li, Daniele Micciancio

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

Homomorphic Training of 30, 000 Logistic Regression Models.

Flávio Bergamaschi, Shai Halevi, Tzipora T. Halevi, Hamish Hunt

Proceedings of the Applied Cryptography and Network Security, 2019

2018

Setup-Free Secure Search on Encrypted Data: Faster and Post-Processing Free.

Adi Akavia, Craig Gentry, Shai Halevi, Max Leibovich

IACR Cryptol. ePrint Arch., 2018

Best Possible Information-Theoretic MPC.

Shai Halevi, Yuval Ishai, Eyal Kushilevitz, Tal Rabin

Proceedings of the Theory of Cryptography - 16th International Conference, 2018

Supporting Private Data on Hyperledger Fabric with Secure Multiparty Computation.

Fabrice Benhamouda, Shai Halevi, Tzipora Halevi

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Faster Homomorphic Linear Transformations in HElib.

Shai Halevi, Victor Shoup

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

Round-Optimal Secure Multi-Party Computation.

Shai Halevi, Carmit Hazay, Antigoni Polychroniadou, Muthuramakrishnan Venkitasubramaniam

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

Advanced Cryptography: Promise and Challenges.

Shai Halevi

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

Doing Real Work with FHE: The Case of Logistic Regression.

Jack L. H. Crawford, Craig Gentry, Shai Halevi, Daniel Platt, Victor Shoup

Proceedings of the 6th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2018

2017

Privacy-Preserving Search of Similar Patients in Genomic Data.

Gilad Asharov, Shai Halevi, Yehuda Lindell, Tal Rabin

IACR Cryptol. ePrint Arch., 2017

Four Round Secure Computation Without Setup.

Zvika Brakerski, Shai Halevi, Antigoni Polychroniadou

Proceedings of the Theory of Cryptography - 15th International Conference, 2017

Cryptanalyses of Candidate Branching Program Obfuscators.

Yilei Chen, Craig Gentry, Shai Halevi

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

Implementing BP-Obfuscation Using Graph-Induced Encoding.

Shai Halevi, Tzipora Halevi, Victor Shoup, Noah Stephens-Davidowitz

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

Non-Interactive Multiparty Computation Without Correlated Randomness.

Shai Halevi, Yuval Ishai, Abhishek Jain, Ilan Komargodski, Amit Sahai, Eylon Yogev

Proceedings of the Advances in Cryptology - ASIACRYPT 2017, 2017

Homomorphic Encryption.

Shai Halevi

Proceedings of the Tutorials on the Foundations of Cryptography., 2017

2016

Hiding secrets in software: a cryptographic approach to program obfuscation.

Sanjam Garg, Craig Gentry, Shai Halevi, Mariana Raykova, Amit Sahai, Brent Waters

Commun. ACM, 2016

Functional Encryption Without Obfuscation.

Sanjam Garg, Craig Gentry, Shai Halevi, Mark Zhandry

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

Secure Multiparty Computation with General Interaction Patterns.

Shai Halevi, Yuval Ishai, Abhishek Jain, Eyal Kushilevitz, Tal Rabin

Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016

Spooky Encryption and Its Applications.

Yevgeniy Dodis, Shai Halevi, Ron D. Rothblum, Daniel Wichs

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

2015

Weak Ideal Functionalities for Designing Random Oracles with Applications to Fugue.

Shai Halevi, William Eric Hall, Charanjit S. Jutla, Arnab Roy

IACR Cryptol. ePrint Arch., 2015

Graded Encoding, Variations on a Scheme.

Shai Halevi

IACR Cryptol. ePrint Arch., 2015

Cryptanalysis of the Quadratic Zero-Testing of GGH.

Zvika Brakerski, Craig Gentry, Shai Halevi, Tancrède Lepoint, Amit Sahai, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2015

Graph-Induced Multilinear Maps from Lattices.

Craig Gentry, Sergey Gorbunov, Shai Halevi

Proceedings of the Theory of Cryptography - 12th Theory of Cryptography Conference, 2015

Bootstrapping for HElib.

Shai Halevi, Victor Shoup

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 2015

Zeroizing Without Low-Level Zeroes: New MMAP Attacks and their Limitations.

Jean-Sébastien Coron, Craig Gentry, Shai Halevi, Tancrède Lepoint, Hemanta K. Maji, Eric Miles, Mariana Raykova, Amit Sahai, Mehdi Tibouchi

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

Private Database Access with HE-over-ORAM Architecture.

Craig Gentry, Shai Halevi, Charanjit S. Jutla, Mariana Raykova

Proceedings of the Applied Cryptography and Network Security, 2015

2014

The Hash Function "Fugue".

Shai Halevi, William Eric Hall, Charanjit S. Jutla

IACR Cryptol. ePrint Arch., 2014

Zeroizing without zeroes: Cryptanalyzing multilinear maps without encodings of zero.

Craig Gentry, Shai Halevi, Hemanta K. Maji, Amit Sahai

IACR Cryptol. ePrint Arch., 2014

Garbled RAM Revisited, Part I.

Craig Gentry, Shai Halevi, Mariana Raykova, Daniel Wichs

IACR Cryptol. ePrint Arch., 2014

Fully Secure Functional Encryption without Obfuscation.

Sanjam Garg, Craig Gentry, Shai Halevi, Mark Zhandry

IACR Cryptol. ePrint Arch., 2014

Fully Secure Attribute Based Encryption from Multilinear Maps.

Sanjam Garg, Craig Gentry, Shai Halevi, Mark Zhandry

IACR Cryptol. ePrint Arch., 2014

Two-Round Secure MPC from Indistinguishability Obfuscation.

Sanjam Garg, Craig Gentry, Shai Halevi, Mariana Raykova

Proceedings of the Theory of Cryptography - 11th Theory of Cryptography Conference, 2014

Outsourcing Private RAM Computation.

Craig Gentry, Shai Halevi, Mariana Raykova, Daniel Wichs

Proceedings of the 55th IEEE Annual Symposium on Foundations of Computer Science, 2014

Garbled RAM Revisited.

Craig Gentry, Shai Halevi, Steve Lu, Rafail Ostrovsky, Mariana Raykova, Daniel Wichs

Proceedings of the Advances in Cryptology - EUROCRYPT 2014, 2014

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

Proceedings of the Advances in Cryptology - EUROCRYPT 2014, 2014

Algorithms in HElib.

Shai Halevi, Victor Shoup

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

On the Implausibility of Differing-Inputs Obfuscation and Extractable Witness Encryption with Auxiliary Input.

Sanjam Garg, Craig Gentry, Shai Halevi, Daniel Wichs

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

2013

Field switching in BGV-style homomorphic encryption.

Craig Gentry, Shai Halevi, Chris Peikert, Nigel P. Smart

J. Comput. Secur., 2013

How to Compress (Reusable) Garbled Circuits.

Craig Gentry, Sergey Gorbunov, Shai Halevi, Vinod Vaikuntanathan, Dhinakaran Vinayagamurthy

IACR Cryptol. ePrint Arch., 2013

Packed Ciphertexts in LWE-Based Homomorphic Encryption.

Zvika Brakerski, Craig Gentry, Shai Halevi

Proceedings of the Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26, 2013

Optimizing ORAM and Using It Efficiently for Secure Computation.

Craig Gentry, Kenny A. Goldman, Shai Halevi, Charanjit S. Jutla, Mariana Raykova, Daniel Wichs

Proceedings of the Privacy Enhancing Technologies - 13th International Symposium, 2013

Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits.

Sanjam Garg, Craig Gentry, Shai Halevi, Mariana Raykova, Amit Sahai, Brent Waters

Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013

Candidate Multilinear Maps from Ideal Lattices.

Sanjam Garg, Craig Gentry, Shai Halevi

Proceedings of the Advances in Cryptology, 2013

Attribute-Based Encryption for Circuits from Multilinear Maps.

Sanjam Garg, Craig Gentry, Shai Halevi, Amit Sahai, Brent Waters

Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

Discrete Gaussian Leftover Hash Lemma over Infinite Domains.

Shweta Agrawal, Craig Gentry, Shai Halevi, Amit Sahai

Proceedings of the Advances in Cryptology - ASIACRYPT 2013, 2013

Private Database Queries Using Somewhat Homomorphic Encryption.

Dan Boneh, Craig Gentry, Shai Halevi, Frank Wang, David J. Wu

Proceedings of the Applied Cryptography and Network Security, 2013

2012

Ring Switching in BGV-Style Homomorphic Encryption.

Craig Gentry, Shai Halevi, Nigel P. Smart

IACR Cryptol. ePrint Arch., 2012

Candidate Multilinear Maps from Ideal Lattices and Applications.

Sanjam Garg, Craig Gentry, Shai Halevi

IACR Cryptol. ePrint Arch., 2012

Sampling Discrete Gaussians Efficiently and Obliviously.

Shweta Agrawal, Craig Gentry, Shai Halevi, Amit Sahai

IACR Cryptol. ePrint Arch., 2012

Leakage-Tolerant Interactive Protocols.

Nir Bitansky, Ran Canetti, Shai Halevi

Proceedings of the Theory of Cryptography - 9th Theory of Cryptography Conference, 2012

Ring Switching in BGV-Style Homomorphic Encryption.

Craig Gentry, Shai Halevi, Chris Peikert, Nigel P. Smart

Proceedings of the Security and Cryptography for Networks - 8th International Conference, 2012

Better Bootstrapping in Fully Homomorphic Encryption.

Craig Gentry, Shai Halevi, Nigel P. Smart

Proceedings of the Public Key Cryptography - PKC 2012, 2012

Fully Homomorphic Encryption with Polylog Overhead.

Craig Gentry, Shai Halevi, Nigel P. Smart

Proceedings of the Advances in Cryptology - EUROCRYPT 2012, 2012

Homomorphic Evaluation of the AES Circuit.

Craig Gentry, Shai Halevi, Nigel P. Smart

Proceedings of the Advances in Cryptology - CRYPTO 2012, 2012

2011

Tree-based HB protocols for privacy-preserving authentication of RFID tags.

Tzipora Halevi, Nitesh Saxena, Shai Halevi

J. Comput. Secur., 2011

After-the-Fact Leakage in Public-Key Encryption.

Shai Halevi, Huijia Lin

Proceedings of the Theory of Cryptography - 8th Theory of Cryptography Conference, 2011

One-Pass HMQV and Asymmetric Key-Wrapping.

Shai Halevi, Hugo Krawczyk

Proceedings of the Public Key Cryptography - PKC 2011, 2011

Fully Homomorphic Encryption without Squashing Using Depth-3 Arithmetic Circuits.

Craig Gentry, Shai Halevi

Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011

Implementing Gentry's Fully-Homomorphic Encryption Scheme.

Craig Gentry, Shai Halevi

Proceedings of the Advances in Cryptology - EUROCRYPT 2011, 2011

Secure Computation on the Web: Computing without Simultaneous Interaction.

Shai Halevi, Yehuda Lindell, Benny Pinkas

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

Proofs of ownership in remote storage systems.

Shai Halevi, Danny Harnik, Benny Pinkas, Alexandra Shulman-Peleg

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Program Obfuscation with Leaky Hardware.

Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum

Proceedings of the Advances in Cryptology - ASIACRYPT 2011, 2011

Composable Security Analysis of OS Services.

Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema

Proceedings of the Applied Cryptography and Network Security, 2011

Collision-Free Hashing from Lattice Problems.

Oded Goldreich, Shafi Goldwasser, Shai Halevi

Proceedings of the Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation, 2011

2010

i-Hop Homomorphic Encryption and Rerandomizable Yao Circuits.

Craig Gentry, Shai Halevi, Vinod Vaikuntanathan

IACR Cryptol. ePrint Arch., 2010

Where Do You Want to Go Today? Escalating Privileges by Pathname Manipulation.

Suresh Chari, Shai Halevi, Wietse Z. Venema

Proceedings of the Network and Distributed System Security Symposium, 2010

A Simple BGN-Type Cryptosystem from LWE.

Craig Gentry, Shai Halevi, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Monaco / French Riviera, May 30, 2010

Fully Homomorphic Encryption over the Integers.

Marten van Dijk, Craig Gentry, Shai Halevi, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Monaco / French Riviera, May 30, 2010

<i>i</i>-Hop Homomorphic Encryption and Rerandomizable Yao Circuits.

Craig Gentry, Shai Halevi, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology, 2010

2009

Using HB Family of Protocols for Privacy-Preserving Authentication of RFID Tags in a Population

Tzipora Halevi, Nitesh Saxena, Shai Halevi

CoRR, 2009

Hierarchical Identity Based Encryption with Polynomially Many Levels.

Craig Gentry, Shai Halevi

Proceedings of the Theory of Cryptography, 6th Theory of Cryptography Conference, 2009

More on Key Wrapping.

Rosario Gennaro, Shai Halevi

Proceedings of the Selected Areas in Cryptography, 16th Annual International Workshop, 2009

Attacking cryptographic schemes based on "perturbation polynomials".

Martin R. Albrecht, Craig Gentry, Shai Halevi, Jonathan Katz

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Cryptanalysis of ISO/IEC 9796-1.

Don Coppersmith, Jean-Sébastien Coron, François Grieu, Shai Halevi, Charanjit S. Jutla, David Naccache, Julien P. Stern

J. Cryptol., 2008

Degradation and Amplification of Computational Hardness.

Shai Halevi, Tal Rabin

Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008

On Seed-Incompressible Functions.

Shai Halevi, Steven A. Myers, Charles Rackoff

Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008

Rationality and traffic attraction: incentives for honest path announcements in bgp.

Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, Rebecca N. Wright

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Storage Encryption: A Cryptographer's View.

Shai Halevi

Proceedings of the Security and Cryptography for Networks, 6th International Conference, 2008

Threshold RSA for Dynamic and Ad-Hoc Groups.

Rosario Gennaro, Shai Halevi, Hugo Krawczyk, Tal Rabin

Proceedings of the Advances in Cryptology, 2008

Strongly-Resilient and Non-interactive Hierarchical Key-Agreement in MANETs.

Rosario Gennaro, Shai Halevi, Hugo Krawczyk, Tal Rabin, Steffen Reidt, Stephen D. Wolthusen

Proceedings of the Computer Security, 2008

Circular-Secure Encryption from Decision Diffie-Hellman.

Dan Boneh, Shai Halevi, Michael Hamburg, Rafail Ostrovsky

Proceedings of the Advances in Cryptology, 2008

2007

Chosen-Ciphertext Security from Identity-Based Encryption.

Dan Boneh, Ran Canetti, Shai Halevi, Jonathan Katz

SIAM J. Comput., 2007

Smooth Projective Hashing and Two-Message Oblivious Transfer.

Shai Halevi, Yael Tauman Kalai

IACR Cryptol. ePrint Arch., 2007

Invertible Universal Hashing and the TET Encryption Mode.

Shai Halevi

Proceedings of the Advances in Cryptology, 2007

Security under key-dependent inputs.

Shai Halevi, Hugo Krawczyk

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Chosen Ciphertext Secure Public Key Threshold Encryption Without Random Oracles.

Dan Boneh, Xavier Boyen, Shai Halevi

Proceedings of the Topics in Cryptology, 2006

Strengthening Digital Signatures Via Randomized Hashing.

Shai Halevi, Hugo Krawczyk

Proceedings of the Advances in Cryptology, 2006

Mitigating Dictionary Attacks on Password-Protected Local Storage.

Ran Canetti, Shai Halevi, Michael Steiner

Proceedings of the Advances in Cryptology, 2006

2005

Enforcing Confinement in Distributed Storage and a Cryptographic Model for Access Control.

Shai Halevi, Paul A. Karger, Dalit Naor

IACR Cryptol. ePrint Arch., 2005

A plausible approach to computer-aided cryptographic proofs.

Shai Halevi

IACR Cryptol. ePrint Arch., 2005

A sufficient condition for key-privacy.

Shai Halevi

IACR Cryptol. ePrint Arch., 2005

Hardness Amplification of Weakly Verifiable Puzzles.

Ran Canetti, Shai Halevi, Michael Steiner

Proceedings of the Theory of Cryptography, Second Theory of Cryptography Conference, 2005

Adaptively-Secure, Non-interactive Public-Key Encryption.

Ran Canetti, Shai Halevi, Jonathan Katz

Proceedings of the Theory of Cryptography, Second Theory of Cryptography Conference, 2005

Universally Composable Password-Based Key Exchange.

Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie

Proceedings of the Advances in Cryptology, 2005

A model and architecture for pseudo-random generation with applications to /dev/random.

Boaz Barak, Shai Halevi

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

EME*: extending EME to handle arbitrary-length messages with associated data.

Shai Halevi

IACR Cryptol. ePrint Arch., 2004

On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes.

Ran Canetti, Oded Goldreich, Shai Halevi

Proceedings of the Theory of Cryptography, First Theory of Cryptography Conference, 2004

EME^*: Extending EME to Handle Arbitrary-Length Messages with Associated Data.

Shai Halevi

Proceedings of the Progress in Cryptology, 2004

Chosen-Ciphertext Security from Identity-Based Encryption.

Ran Canetti, Shai Halevi, Jonathan Katz

Proceedings of the Advances in Cryptology, 2004

A Parallelizable Enciphering Mode.

Shai Halevi, Phillip Rogaway

Proceedings of the Topics in Cryptology, 2004

2003

A Forward-Secure Public-Key Encryption Scheme.

Ran Canetti, Shai Halevi, Jonathan Katz

Proceedings of the Advances in Cryptology, 2003

A Tweakable Enciphering Mode.

Shai Halevi, Phillip Rogaway

Proceedings of the Advances in Cryptology, 2003

2002

A Two Layered Approach for Securing an Object Store Network.

Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran

Proceedings of the First International IEEE Security in Storage Workshop, 2002

Scream: A Software-Efficient Stream Cipher.

Shai Halevi, Don Coppersmith, Charanjit S. Jutla

Proceedings of the Fast Software Encryption, 9th International Workshop, 2002

Cryptanalysis of Stream Ciphers with Linear Masking.

Don Coppersmith, Shai Halevi, Charanjit S. Jutla

Proceedings of the Advances in Cryptology, 2002

2001

An observation regarding Jutla's modes of operation.

Shai Halevi

IACR Cryptol. ePrint Arch., 2001

Private approximation of NP-hard functions.

Shai Halevi, Robert Krauthgamer, Eyal Kushilevitz, Kobbi Nissim

Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Incremental Codes.

Yevgeniy Dodis, Shai Halevi

Proceedings of the Approximation, 2001

The Modular Inversion Hidden Number Problem.

Dan Boneh, Shai Halevi, Nick Howgrave-Graham

Proceedings of the Advances in Cryptology, 2001

2000

Clock synchronization with faults and recoveries (extended abstract).

Boaz Barak, Shai Halevi, Amir Herzberg, Dalit Naor

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Computing Inverses over a Shared Secret Modulus.

Dario Catalano, Rosario Gennaro, Shai Halevi

Proceedings of the Advances in Cryptology, 2000

Exposure-Resilient Functions and All-or-Nothing Transforms.

Ran Canetti, Yevgeniy Dodis, Shai Halevi, Eyal Kushilevitz, Amit Sahai

Proceedings of the Advances in Cryptology, 2000

A Cryptographic Solution to a Game Theoretic Problem.

Yevgeniy Dodis, Shai Halevi, Tal Rabin

Proceedings of the Advances in Cryptology, 2000

IBM Comments.

Don Coppersmith, Rosario Gennaro, Shai Halevi, Charanjit S. Jutla, Stephen M. Matyas, Mohammad Peyravian, David Safford, Nevenko Zunic

Proceedings of the Third Advanced Encryption Standard Candidate Conference, 2000

1999

Secure Hash-and-Sign Signatures Without the Random Oracle.

Rosario Gennaro, Shai Halevi, Tal Rabin

Proceedings of the Advances in Cryptology, 1999

UMAC: Fast and Secure Message Authentication.

John Black, Shai Halevi, Hugo Krawczyk, Ted Krovetz, Phillip Rogaway

Proceedings of the Advances in Cryptology, 1999

Computing from Partial Solutions.

Anna Gál, Shai Halevi, Richard J. Lipton, Erez Petrank

Proceedings of the 14th Annual IEEE Conference on Computational Complexity, 1999

1998

More on Proofs of Knowledge.

Shai Halevi, Silvio Micali

IACR Cryptol. ePrint Arch., 1998

The Random Oracle Methodology, Revisited.

Ran Canetti, Oded Goldreich, Shai Halevi

IACR Cryptol. ePrint Arch., 1998

Many-to-one Trapdoor Functions and their Relation to Public-key Cryptosystems.

Mihir Bellare, Shai Halevi, Amit Sahai, Salil P. Vadhan

IACR Cryptol. ePrint Arch., 1998

The Random Oracle Methodology, Revisited (Preliminary Version).

Ran Canetti, Oded Goldreich, Shai Halevi

Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, 1998

Many-to-One Trapdoor Functions and Their Ralation to Public-Key Cryptosystems.

Mihir Bellare, Shai Halevi, Amit Sahai, Salil P. Vadhan

Proceedings of the Advances in Cryptology, 1998

Public-Key Cryptography and Password Protocols.

Shai Halevi, Hugo Krawczyk

Proceedings of the CCS '98, 1998

1997

Theory and practice of secret commitment.

Shai Halevi

PhD thesis, 1997

Maintaining Authenticated Communication in the Presence of Break-ins.

Ran Canetti, Shai Halevi, Amir Herzberg

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

MMH: Software Message Authentication in the Gbit/Second Rates.

Shai Halevi, Hugo Krawczyk

Proceedings of the Fast Software Encryption, 4th International Workshop, 1997

Public-Key Cryptosystems from Lattice Reduction Problems.

Oded Goldreich, Shafi Goldwasser, Shai Halevi

Proceedings of the Advances in Cryptology, 1997

Eliminating Decryption Errors in the Ajtai-Dwork Cryptosystem.

Oded Goldreich, Shafi Goldwasser, Shai Halevi

Proceedings of the Advances in Cryptology, 1997

1996

Collision-Free Hashing from Lattice Problems

Oded Goldreich, Shafi Goldwasser, Shai Halevi

Electron. Colloquium Comput. Complex., 1996

Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing.

Shai Halevi, Silvio Micali

Proceedings of the Advances in Cryptology, 1996

1995

Efficient Commitment Schemes with Bounded Sender and Unbounded Receiver.

Shai Halevi

Proceedings of the Advances in Cryptology, 1995

1994

Potential Function Analysis of Greedy Hot-Potato Routing.

Amir Ben-Dor, Shai Halevi, Assaf Schuster

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Zero-One Permanent is <i>#P</i>-Complete, A Simpler Proof.

Amir Ben-Dor, Shai Halevi

Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993