Shafrira Goldwasser – Wikipedia

Shafrira „Shafi“ Goldwasser (hebräisch שפרירה גולדווסר; * 1958 in New York City) ist eine US-amerikanische Informatikerin.

1979 erlangte sie den Bachelor-Grad in Mathematik an der Carnegie Mellon University, 1981 den Magister- und 1984 den Doktorgrad in Informatik an der UC Berkeley.^[1] 1983 kam sie zum MIT und wurde 1997 die erste Inhaberin der neuen RSA-Professur für Elektrotechnik und Informatik. Sie ist ein Mitglied der Theory of Computation Group am MIT Computer Science and Artificial Intelligence Laboratory. Außerdem ist sie Professorin für Informatik und angewandte Mathematik am Weizmann-Institut für Wissenschaften in Israel.

Goldwasser forscht über Komplexitätstheorie, Kryptographie und Algorithmische Zahlentheorie. Sie entwickelte 1986 gemeinsam mit Joe Kilian den nach beiden Autoren benannten, auf Elliptischen Kurven basierenden Primzahlnachweis.^[2][3] Sie ist (um 1982)^[4] die Miterfinderin der Zero-Knowledge-Beweise (sowie Interaktiver Beweissysteme in derselben Arbeit mit Charles Rackoff und Silvio Micali), die wahrscheinlichkeitstheoretisch und interaktiv die Gültigkeit einer Behauptung ohne Übermittlung zusätzlichen Wissens zeigen und ein Schlüsselwerkzeug beim Entwurf kryptographischer Protokolle sind. Zu ihren weiteren Beiträgen im Bereich der Kryptographie zählen die Mitentwicklung des Blum-Goldwasser-Kryptosystems und des GMR-Signaturverfahrens. Ihre Arbeiten in Komplexitätstheorie behandeln die Klassifizierung von Näherungsproblemen, wo sie zeigte, dass einige NP-schwere Probleme auch dann schwierig bleiben, wenn nur eine Näherungslösung gesucht wird.

Für ihre bahnbrechenden Ergebnisse wurde Goldwasser zweimal der Gödel-Preis in Theoretischer Informatik verliehen: Zuerst 1993 (für „The knowledge complexity of interactive proof systems“), und nochmals 2001 (für „Interactive Proofs and the Hardness of Approximating Cliques“), ihre Beteiligung am PCP-Theorem. Weitere Auszeichnungen sind der Grace Murray Hopper Award der ACM als herausragende Nachwuchs-Computerexpertin des Jahres 1996 sowie der RSA Award in Mathematics (1998) für herausragende mathematische Beiträge zur Kryptographie und der BBVA Foundation Frontiers of Knowledge Award (2017). 2002 hielt sie einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Peking (Mathematical foundations of modern cryptography: computational complexity perspective) und 1990 war sie Invited Speaker auf dem ICM in Kyōto (Interactive proofs and applications).

2001 wurde sie in die American Academy of Arts and Sciences gewählt^[5], 2004 in die National Academy of Sciences und 2005 in die National Academy of Engineering. Seit 2015 ist sie Mitglied der Israelischen Akademie der Wissenschaften und seit 2016 auswärtiges Mitglied der Russischen Akademie der Wissenschaften^[6] und 2023 in die Royal Society. 2015 wurde sie Ehrenmitglied der London Mathematical Society. 2012 erhielt sie den Turing Award. Für 2021 wurde ihr der UNESCO-L’Oréal-Preis zugesprochen, für 2023/24 der Harold Pender Award.

• mit Mihir Bellare: Lecture Notes on Cryptography, MIT (Vorlesungen, zuerst ab 1996), Online, 2008 (PDF; 1,5 MB)
• mit Daniele Micciancio: Complexity of Lattice Problems: A Cryptographic Perspective, The Springer International Series in Engineering and Computer Science 671, Springer 2002

• Oded Goldreich (Hrsg.): Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, Morgan & Claypool 2019

Commons: Shafi Goldwasser – Sammlung von Bildern, Videos und Audiodateien

• Shafi Goldwassers Homepage am MIT (englisch)
• Eintrag bei der Israelischen Akademie der Wissenschaften

1. ↑ Shafrira Goldwasser im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
2. ↑ Shafi Goldwasser, Joe Kilian: Almost all primes can be quickly certified. Proc. 18th STOC Berkeley 1986, S. 316–329; Primality testing using elliptic curves. Journal ACM 46 (1999), Nr. 4, S. 450–472
3. ↑ Goldwasser-Kilian-Primzahltest (Memento vom 21. Juli 2007 im Internet Archive) (PDF; 132 kB)
4. ↑ Shafi Goldwasser, Silvio Micali, Charles Rackoff The knowledge complexity of interactive proof systems, SIAM Journal on Computing, Band 18, 1989, S. 186–208 und STOC (ACM Symposium on the theory of computing) 1985 (Preprints der Arbeit sollen schon 1982 zirkuliert haben)
5. ↑ Book of Members. Abgerufen am 26. Juli 2016 (englisch). 
6. ↑ Ausländische Mitglieder der Russischen Akademie der Wissenschaften: Гольдвассер, Шафрира. Russische Akademie der Wissenschaften, abgerufen am 27. März 2021 (russisch).