Yael Tauman Kalai

Last updated
Yael Tauman Kalai
Yael Tauman Kalai portrait-public.jpg
Born
Alma mater Massachusetts Institute of Technology
Known for Ring Signatures, the insecurity of the Fiat–Shamir heuristic, delegating computation
Scientific career
Fields Cryptography, Computer Science
Institutions Massachusetts Institute of Technology, Microsoft Research
Doctoral advisor Shafi Goldwasser
Doctoral students Elette Boyle

Yael Tauman Kalai is a cryptographer and theoretical computer scientist who works as a Senior Principal Researcher at Microsoft Research New England [1] [2] and as an adjunct professor at MIT in the Computer Science and Artificial Intelligence Lab. [3]

Contents

Education and career

Kalai graduated from the Hebrew University of Jerusalem in 1997. She worked with Adi Shamir at the Weizmann Institute of Science, earning a master's degree there in 2001, and then moved to the Massachusetts Institute of Technology, where she completed her PhD in 2006 with Shafi Goldwasser as her doctoral advisor. She did postdoctoral study at Microsoft Research and the Weizmann Institute before becoming a faculty member at the Georgia Institute of Technology. She took a permanent position at Microsoft Research in 2008. [1] [2] She serves on the Scientific Advisory Board for the Institute for Computational and Experimental Research in Mathematics (ICERM). [4]

Contributions

Kalai is known for co-inventing ring signatures, which has become a key component of numerous systems such as Cryptonote and Monero (cryptocurrency). Subsequently, together with her advisor Shafi Goldwasser, she demonstrated an insecurity in the widely used Fiat–Shamir heuristic. Her work on delegating computation has applications to cloud computing. [5]

Recognition

Kalai was an invited speaker on mathematical aspects of computer science at the 2018 International Congress of Mathematicians. [6]

Her master's thesis introducing ring signatures won an outstanding master's thesis award [2] and MIT PhD dissertation was awarded the George M. Sprowls Award for Outstanding PhD Thesis in Computer Science. [2] [7]

She was co-chair of the Theory of Cryptography Conference in 2017. [8]

She was awarded the 2022 ACM Prize in Computing "for breakthroughs in verifiable delegation of computation and fundamental contributions to cryptography". [9]

Personal

Kalai is the daughter of game theorist Yair Tauman. Her husband, Adam Tauman Kalai, also works at Microsoft Research. [10]

Related Research Articles

<span class="mw-page-title-main">Adi Shamir</span> Israeli cryptographer (born 1952)

Adi Shamir is an Israeli cryptographer and inventor. He is a co-inventor of the Rivest–Shamir–Adleman (RSA) algorithm, a co-inventor of the Feige–Fiat–Shamir identification scheme, one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer science.

<span class="mw-page-title-main">Ron Rivest</span> American cryptographer

Ronald Linn Rivest is a cryptographer and computer scientist whose work has spanned the fields of algorithms and combinatorics, cryptography, machine learning, and election integrity. He is an Institute Professor at the Massachusetts Institute of Technology (MIT), and a member of MIT's Department of Electrical Engineering and Computer Science and its Computer Science and Artificial Intelligence Laboratory.

<span class="mw-page-title-main">Manuel Blum</span> Venezuelan computer scientist

Manuel Blum is a Venezuelan born American computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".

<span class="mw-page-title-main">MIT Computer Science and Artificial Intelligence Laboratory</span> CS and AI Laboratory at MIT (formed by merger in 2003)

Computer Science and Artificial Intelligence Laboratory (CSAIL) is a research institute at the Massachusetts Institute of Technology (MIT) formed by the 2003 merger of the Laboratory for Computer Science (LCS) and the Artificial Intelligence Laboratory. Housed within the Ray and Maria Stata Center, CSAIL is the largest on-campus laboratory as measured by research scope and membership. It is part of the Schwarzman College of Computing but is also overseen by the MIT Vice President of Research.

<span class="mw-page-title-main">Shafi Goldwasser</span> Israeli American computer scientist

Shafrira Goldwasser is an Israeli-American computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at Massachusetts Institute of Technology; a professor of mathematical sciences at the Weizmann Institute of Science, Israel; the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley; and co-founder and chief scientist of Duality Technologies.

<span class="mw-page-title-main">Silvio Micali</span> Italian-American computer scientist (born 1954)

Silvio Micali 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 Computer Science and Artificial Intelligence Laboratory centers on cryptography and information security.

<span class="mw-page-title-main">Moni Naor</span> Israeli computer scientist (born 1961)

Moni Naor is an Israeli computer scientist, currently a professor at the Weizmann Institute of Science. Naor received his Ph.D. in 1989 at the University of California, Berkeley. His advisor was Manuel Blum.

Non-interactive zero-knowledge proofs are cryptographic primitives, where information between a prover and a verifier can be authenticated by the prover, without revealing any of the specific information beyond the validity of the statement itself. This function of encryption makes direct communication between the prover and verifier unnecessary, effectively removing any intermediaries. The core trustless cryptography "proofing" involves a hash function generation of a random number, constrained within mathematical parameters determined by the prover and verifier.

In cryptography, the Fiat–Shamir heuristic is a technique for taking an interactive proof of knowledge and creating a digital signature based on it. This way, some fact can be publicly proven without revealing underlying information. The technique is due to Amos Fiat and Adi Shamir (1986). For the method to work, the original interactive proof must have the property of being public-coin, i.e. verifier's random coins are made public throughout the proof protocol.

<span class="mw-page-title-main">Salil Vadhan</span> American computer scientist.

Salil Vadhan is an American computer scientist. He is Vicky Joseph Professor of Computer Science and Applied Mathematics at Harvard University. After completing his undergraduate degree in Mathematics and Computer Science at Harvard in 1995, he obtained his PhD in Applied Mathematics from Massachusetts Institute of Technology in 1999, where his advisor was Shafi Goldwasser. His research centers around the interface between computational complexity theory and cryptography. He focuses on the topics of pseudorandomness and zero-knowledge proofs. His work on the zig-zag product, with Omer Reingold and Avi Wigderson, was awarded the 2009 Gödel Prize.

<span class="mw-page-title-main">Dana Ron</span>

Dana Ron Goldreich is a computer scientist, a professor of electrical engineering at the Tel Aviv University, Israel. Prof. Ron is one of the pioneers of research in property testing, and a leading researcher in that area.

<span class="mw-page-title-main">Bonnie Berger</span> American mathematician and computer scientist

Bonnie Anne Berger is an American mathematician and computer scientist, who works as the Simons professor of mathematics and professor of electrical engineering and computer science at the Massachusetts Institute of Technology. Her research interests are in algorithms, bioinformatics and computational molecular biology.

<span class="mw-page-title-main">Jill P. Mesirov</span> American mathematician

Jill P. Mesirov is an American mathematician, computer scientist, and computational biologist who is the Associate Vice Chancellor for Computational Health Sciences at the University of California, San Diego. She previously held an adjunct faculty position at Boston University and was the associate director and chief informatics officer at the Eli and Edythe L. Broad Institute of MIT and Harvard.

Mona Singh is a Professor of Computer Science in the Lewis-Sigler Institute for Integrative Genomics at Princeton University.

Anna A. Lysyanskaya is an American cryptographer known for her research on digital signatures and anonymous digital credentials. She is the James A. and Julie N. Brown Professor of Computer Science at Brown University.

Ran Canetti is a professor of Computer Science at Boston University. and the director of the Check Point Institute for Information Security and of the Center for Reliable Information System and Cyber Security. He is also associate editor of the Journal of Cryptology and Information and Computation. His main areas of research span cryptography and information security, with an emphasis on the design, analysis and use of cryptographic protocols.

Boaz Barak is an Israeli-American professor of computer science at Harvard University.

Elette Boyle is an American and Israeli computer scientist and cryptographer, known for her research on secret sharing, digital signatures, and obfuscation. She is a professor of computer science at the Interdisciplinary Center Herzliya, where she directs the Center for Foundations and Applications of Cryptographic Theory.

Tal Geula Malkin is an Israeli-American cryptographer who works as a professor of computer science at Columbia University, where she heads the Cryptography Lab and the Data Science Institute Cybersecurity Center.

Vinod Vaikuntanathan is a professor of computer science at the Massachusetts Institute of Technology and a principal investigator at the MIT Computer Science and Artificial Intelligence Laboratory. His work is focused on cryptography, including homomorphic encryption. He is the co-recipient of the 2022 Gödel Prize, together with Zvika Brakerski and Craig Gentry.

References

  1. 1 2 Yael Tauman Kalai, Principal Researcher, Microsoft, retrieved 2018-09-11
  2. 1 2 3 4 Yael Kalai, Researcher, Microsoft Research New England, Simons Institute for the Theory of Computing, 22 October 2014
  3. Yael Kalai, MIT CSAIL, Massachusetts Institute of Technology, September 10, 2018
  4. "ICERM - Trustee and Advisory Boards - Trustee & Advisory Boards". icerm.brown.edu. Retrieved 2021-07-11.
  5. Hardesty, Larry (June 10, 2013), "Securing the cloud: New algorithm solves major problem with homomorphic encryption", MIT News, Massachusetts Institute of Technology, retrieved 2018-09-11 via Phys.org
  6. "Invited section lectures", ICM 2018, retrieved 2018-08-08
  7. "Awards and Honors 2007", EECS Newsletter, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science, Fall 2007, retrieved Sep 10, 2018
  8. Theory of Cryptography: Proceedings of the 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Springer, retrieved 2018-09-11
  9. ACM Prize in Computing Recognizes Yael Tauman Kalai for Fundamental Contributions to Cryptography, Association for Computing Machinery , retrieved April 13, 2023
  10. Knies, Rob (May 14, 2009), New England Researcher Finds Her Bliss, Microsoft