mini|Yael Tauman Kalai (2017) Yael Tauman Kalai (; * in Tel Aviv) ist eine israelische Kryptografin und theoretische Informatikerin sowie Ellen-Swallow-Richards-Professorin am Massachusetts Institute of Technology. Sie gilt als führende Forscherin zur verifizierbaren Delegation von Berechnungen und zu knappen, leicht prüfbaren Nachweisen (SNARGs). Für ihre grundlegenden Beiträge erhielt sie im Jahr 2023 den ACM Prize in Computing (Preisjahr 2022).
Leben Kalai wuchs in Tel Aviv in einer akademischen Familie auf; ihr Vater ist der Wirtschaftswissenschaftler und Spieltheoretiker Yair Tauman. Sie erwarb im Jahr 1997 einen Bachelor an der Hebrew University of Jerusalem, 2001 den Master am Weizmann-Institut (bei Adi Shamir) und sie promovierte 2006 am MIT (bei Shafi Goldwasser). Nach Stationen bei Microsoft Research New England wurde sie 2024 als Professorin an das MIT berufen und ist Mitglied des Computer Science and Artificial Intelligence Laboratory (CSAIL). Sie ist Ellen-Swallow-Richards-Professorin in der Abteilung EECS. Zu ihren Auszeichnungen zählen der ACM Prize in Computing (2022, verliehen 2023) und die Wahl zur Fellow der International Association for Cryptologic Research (IACR). 2018 war sie eingeladene Vortragende beim Internationalen Mathematikerkongress (ICM).
Wirken In ihrer Masterarbeit How to Leak a Secret (2001) führte sie zusammen mit Ron Rivest und Adi Shamir das Konzept der Ringsignaturen ein, das anonyme Signaturen innerhalb einer Gruppe ermöglicht und später in Kryptowährungen Anwendung fand. Gemeinsam mit Shafi Goldwasser trug sie zur Klärung der Sicherheitsgrenzen des Fiat–Shamir-Paradigmas bei. Ein Schwerpunkt ihrer Forschung ist die verifizierbare Delegation von Berechnungen: Kalai entwickelte „doubly efficient“ interaktive Beweise und nutzte kryptografische Techniken zur Konstruktion übertragbarer Zertifikate für beliebige Rechnungen aus interaktiven Protokollen. Solche knappen Zertifikate werden inzwischen zur effizienten Verifizierung von Transaktionen und Erleichterung der Skalierung in Blockchain-Systemen wie Ethereum eingesetzt. Daneben arbeitet sie an quantensicheren Verfahren und der Absicherung ausgelagerter Berechnungen; sie geht davon aus, dass Quantencomputer in wenigen Jahren heutige verschlüsselte Nachrichten rückwirkend lesbar machen könnten und deshalb der Übergang zu quantensicherer Kryptografie jetzt erfolgen müsse. In öffentlichen Formaten erläutert sie die Bedeutung beweisbarer Sicherheit und die praktischen Anwendungen ihrer Arbeit, von der Cloud-Verifikation bis zur Post-Quanten-Kryptografie.
Einzelnachweise
Kategorie:Israeli Kategorie:Geboren im 20. Jahrhundert Kategorie:Frau