Shai Halevi

שי הלוי

Born| 1966

Israel

Alma mater|

* Technion (B.A.)
* Technion (M.Sc.)
* MIT (Ph.D.)

Known for|

* Indistinguishability obfuscation
* Homomorphic encryption
* Random oracle

Scientific career
Fields| Computer science, cryptography
Institutions| IBM T.J. Watson Research Center, Algorand Foundation
Thesis| Theory and Practice of Secret Commitment (1997)
Doctoral advisor| Silvio Micali[1]
Website| alum.mit.edu/www/shaih

Shai Halevi (Hebrew: שי הלוי; born 1966) is a computer scientist who works on cryptography research at Amazon Web Services.

Born in Israel 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 in 1997 and then joined IBM's Thomas J. Watson Research Center, where he was a principal research staff member until 2019. Between 2019 and 2023, he was a research fellow at Algorand Foundation, a blockchain startup founded by Silvio Micali.

## Contents

* 1 Research
* 2 Software
* 3 References
* 4 External links

## Research

Shai Halevi's research interests are in cryptography and security. He has published numerous original technical research papers,[2][3] three of which were awarded the IBM Pat Goldberg memorial best-paper award[4] (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 schemes, with security based on a mathematical conjecture.[5] This development generated much interest in the cryptography community and was called "a watershed moment for cryptography."[6]

* 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 problem.[7][8]

* Homomorphic Encryption. Halevi is one of the leading researchers on homomorphic encryption. He authored many articles,[9][10][11][12][13][14] gave invited lectures and tutorials on the topic,[15][16][17] and he is also the principal developer (together with Victor Shoup) of the HElib homormophic-encryption software library.[18][19][20]

* 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.[21]

Since 2013 Halevi is the chair of the steering committee of the Theory of Cryptography Conference. He served on the board of directors of the International Association for Cryptologic Research.[22] He chaired the CRYPTO 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,[23] and a web-system for submission/review of articles to academic conferences.[24]

## References

1. ↑ Shai Halevi at the Mathematics Genealogy Project
2. ↑ {{DBLP}} template missing ID and not present in Wikidata.
3. ↑ Template:Google scholar ID
4. ↑ "Pat Goldberg Memorial Best Papers in CS, EE and Math". 25 July 2016. http://researcher.watson.ibm.com/researcher/view_group.php?id=5434.
5. ↑ Sanjam Garg; Craig Gentry; Shai Halevi; Mariana Raykova; Amit Sahai; Brent Waters (2013). "Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits". 2013 IEEE 54th Annual Symposium on Foundations of Computer Science. IEEE. pp. 40–49. doi:10.1109/FOCS.2013.13. ISBN 978-0-7695-5135-7.
6. ↑ Klarreich, Erica (2014-02-03). "Cryptography Breakthrough Could Make Software Unhackable". Quanta Magazine. https://www.wired.com/2014/02/cryptography-breakthrough/.
7. ↑ Sanjam Garg, Craig Gentry, and Shai Halevi. Candidate Multilinear Maps from Ideal Lattices. In EUROCRYPT 2013 (Springer)
8. ↑ "What are Cryptographic Multi-linear Maps?". 2014-05-13. https://crypto.stackexchange.com/q/16153.
9. ↑ M. van Dijk, C. Gentry, S. Halevi, and V. Vaikuntanathan. Fully Homomorphic Encryption over the Integers. In EUROCRYPT 2010 (Springer)
10. ↑ C. Gentry and S. Halevi. Implementing Gentry's fully-homomorphic encryption scheme. In EUROCRYPT 2011 (Springer)
11. ↑ C. Gentry and S. Halevi. Fully Homomorphic Encryption without Squashing Using Depth-3 Arithmetic Circuits. In FOCS 2011 (IEEE)
12. ↑ C. Gentry, S. Halevi, and N. P. Smart. Fully Homomorphic Encryption with Polylog Overhead. In EUROCRYPT 2012 (Springer)
13. ↑ C. Gentry, S. Halevi, and N. P. Smart. Better Bootstrapping in Fully Homomorphic Encryption. In PKC 2012 (Springer)
14. ↑ C. Gentry, S. Halevi, and N. P. Smart. Homomorphic Evaluation of the AES Circuit. In CRYPTO 2012 (Springer)
15. ↑ Fully Homomorphic Encryption. Tutorial in the Winter School on Secure Computation and Efficiency, Bar-Ilan University, 2011.
16. ↑ Fully Homomorphic Encryption. Tutorial in CRYPTO 2011, UC Santa-Barbara
17. ↑ Fully Homomorphic Encryption. Invited lecture at the UCI Workshop on Lattices with Symmetry
18. ↑ Shai Halevi; Victor Shoup. "HElib: An Implementation of homomorphic encryption". https://github.com/shaih/HElib. Retrieved 31 December 2014.
19. ↑ S. Halevi and V. Shoup. Algorithms in HElib. In CRYPTO 2014
20. ↑ S. Halevi and V. Shoup. Bootstrapping for HElib. In Cryptology ePrint Archive
21. ↑ Canetti, Ran; Goldreich, Oded; Halevi, Shai (July 2004). "The Random Oracle Methodology, Revisited". J ACM (ACM) 51 (4): 557–594. doi:10.1145/1008731.1008734. https://scholar.google.com/citations?view_op=view_citation&hl=en&user=RBX7SrkAAAAJ&citation_for_view=RBX7SrkAAAAJ:u5HHmVD_uO8C.
22. ↑ "IACR Board of Directors (2013)". International Association for Cryptologic Research. Archived from the original on June 15, 2013. https://web.archive.org/web/20130615003316/https://www.iacr.org/bod.html. Retrieved January 7, 2015.
23. ↑ "HElib: homomorphic-encryption software library". 21 December 2022. https://github.com/shaih/HElib.
24. ↑ "websubrev: Web Submission and Review Software". 13 June 2018. https://sourceforge.net/projects/websubrev/.

## External links

* Shai Halevi's Home Page
* The Cryptography Research Group at the IBM T.J.Watson Research Center

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Shai Halevi. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Shai_Halevi&oldid=4294424"