Shai Halevi (; born 1966) is a computer scientist who works on

cryptography Cryptography, or cryptology (from "hidden, secret"; and ''graphein'', "to write", or ''-logy, -logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of Adversary (cryptography), ...

research at

Amazon Web Services Amazon Web Services, Inc. (AWS) is a subsidiary of Amazon.com, Amazon that provides Software as a service, on-demand cloud computing computing platform, platforms and Application programming interface, APIs to individuals, companies, and gover ...

. Born in

Israel Israel, officially the State of Israel, is a country in West Asia. It Borders of Israel, shares borders with Lebanon to the north, Syria to the north-east, Jordan to the east, Egypt to the south-west, and the Mediterranean Sea to the west. Isr ...

in 1966, Halevi received a B.A. and M.Sc. in computer science from the Technion, Israel Institute of Technology in 1991 and 1993. He received his Ph.D. in computer science from

Massachusetts Institute of Technology The Massachusetts Institute of Technology (MIT) is a Private university, private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of moder ...

in 1997 and then joined

IBM International Business Machines Corporation (using the trademark IBM), nicknamed Big Blue, is an American Multinational corporation, multinational technology company headquartered in Armonk, New York, and present in over 175 countries. It is ...

Thomas J. Watson Research Center The Thomas J. Watson Research Center is the headquarters for IBM Research. Its main laboratory is in Yorktown Heights, New York, 38 miles (61 km) north of New York City. It also operates facilities in Cambridge, Massachusetts and Albany, ...

, where he was a principal research staff member until 2019. Between 2019 and 2023, he has been a research fellow at Algorand Foundation, a

blockchain The blockchain is a distributed ledger with growing lists of Record (computer science), records (''blocks'') that are securely linked together via Cryptographic hash function, cryptographic hashes. Each block contains a cryptographic hash of th ...

startup founded by

Silvio Micali Silvio Micali (born October 13, 1954) is an Italian computer scientist, professor at the Massachusetts Institute of Technology and the founder of Algorand, a proof-of-stake blockchain cryptocurrency protocol. Micali's research at the MIT Compu ...

Research

Shai Halevi's research interests are in cryptography and security. He has published numerous original technical research papers, three of which were awarded the IBM Pat Goldberg memorial best-paper award (in 2004, 2012, and 2013). Notable contributions by Shai Halevi include: * Obfuscation. Halevi is a co-inventor of the first candidate general-purpose

indistinguishability obfuscation In cryptography, indistinguishability obfuscation (abbreviated IO or iO) is a type of software obfuscation with the defining property that obfuscating any two programs that compute the same mathematical function results in programs that cannot be ...

schemes, with security based on a mathematical conjecture. This development generated much interest in the cryptography community and was called "a watershed moment for cryptography." * Cryptographic Multilinear Maps. Halevi is a co-inventor of Cryptographic Multilinear Maps (which constitute the main technical tool behind cryptographic obfuscation and many other applications), solving a long-standing open problemSanjam Garg, Craig Gentry, and Shai Halevi
Candidate Multilinear Maps from Ideal Lattices
In ''EUROCRYPT 2013'' (Springer) * Homomorphic Encryption. Halevi is one of the leading researchers on

homomorphic encryption Homomorphic encryption is a form of encryption that allows computations to be performed on encrypted data without first having to decrypt it. The resulting computations are left in an encrypted form which, when decrypted, result in an output th ...

. He authored many articles,M. van Dijk, C. Gentry, S. Halevi, and V. Vaikuntanathan
Fully Homomorphic Encryption over the Integers
In ''EUROCRYPT 2010'' (Springer) C. Gentry and S. Halevi
Implementing Gentry's fully-homomorphic encryption scheme
In ''EUROCRYPT 2011'' (Springer) C. Gentry and S. Halevi
Fully Homomorphic Encryption without Squashing Using Depth-3 Arithmetic Circuits
In ''FOCS 2011'' (IEEE) C. Gentry, S. Halevi, and N. P. Smart
Fully Homomorphic Encryption with Polylog Overhead
In ''EUROCRYPT 2012'' (Springer) C. Gentry, S. Halevi, and N. P. Smart
Better Bootstrapping in Fully Homomorphic Encryption
In ''PKC 2012'' (Springer) C. Gentry, S. Halevi, and N. P. Smart
Homomorphic Evaluation of the AES Circuit
In ''CRYPTO 2012'' (Springer) gave invited lectures and tutorials on the topic,Fully Homomorphic Encryption
Tutorial in the Winter School on Secure Computation and Efficiency, Bar-Ilan University, 2011.Fully Homomorphic Encryption
Tutorial in CRYPTO 2011, UC Santa-BarbaraFully Homomorphic Encryption
Invited lecture at the UCI Workshop on Lattices with Symmetry and he is also the principal developer (together with

Victor Shoup Victor Shoup is a computer scientist and mathematician. He obtained a PhD in computer science from the University of Wisconsin–Madison in 1989, and he did his undergraduate work at the University of Wisconsin-Eau Claire. He is a professor at t ...

) of the HElib homormophic-encryption software library. S. Halevi and V. Shoup
Algorithms in HElib
In ''CRYPTO 2014'' S. Halevi and V. Shoup
Bootstrapping for HElib
In ''Cryptology ePrint Archive'' * The Random Oracle Model. Halevi co-authored the influential work that pointed out for the first time the existence of "structurally flawed" cryptosystems that nonetheless have a proof of security in the random-oracle model. Since 2013 Halevi is the chair of the steering committee of the

Theory of Cryptography Conference The International Association for Cryptologic Research (IACR) is a non-profit scientific organization that furthers research in cryptology and related fields. The IACR was organized at the initiative of David Chaum at the CRYPTO '82 conference. ...

. He served on the board of directors of the

International Association for Cryptologic Research The International Association for Cryptologic Research (IACR) is a non-profit scientific organization that furthers research in cryptology and related fields. The IACR was organized at the initiative of David Chaum at the CRYPTO '82 conference. ...

. He chaired the

CRYPTO Crypto commonly refers to: * Cryptography, the practice and study of hiding information * Cryptocurrency, a type of digital currency based on cryptography Crypto or krypto may also refer to: Cryptography * Cryptanalysis, the study of methods f ...

conference in 2009 and co-chaired the TCC conference in 2006. Halevi also gave many invited talks, including in the USENIX Security Symposium in 2008 and the PKC conference in 2014.

Software

Halevi maintains two open-source software projects: The HElib homomorphic-encryption library, and a web-system for submission/review of articles to academic conferences

References

External links

Shai Halevi's Home Page

The Cryptography Research Group at the IBM T.J.Watson Research Center
{{DEFAULTSORT:Halevi, Shai Israeli computer scientists Theoretical computer scientists Public-key cryptographers Living people Israeli cryptographers 1966 births MIT School of Engineering alumni Technion – Israel Institute of Technology alumni IBM employees