Einstein Lectures

2019: Prof. Shafi Goldwasser

Das Vorurteil, dass abstrakte mathematische Disziplinen wie algorithmische Zahlentheorie oder Komplexitätstheorie keinen praktischen Nutzen haben, wird durch Shafi Goldwassers revolutionäre Arbeiten eindrücklich widerlegt, beispielweise über die interaktiven «Zero-Knowledge-Beweise» und ihre Anwendungen. Diese ermöglichen uns tagtäglich das scheinbar Unmögliche: die sichere Authentifizierung und Zahlungen im Internet ohne Übermittlung von sensitiven Daten wie Passwörtern oder Kreditkartennummern. Dabei ist den wenigsten bewusst, wie sehr ihre eigene Sicherheit schon jetzt von hochkomplexer Mathematik und Informatik abhängt – und es umso mehr in der zukünftigen digital transformierten Welt sein wird. Auch deshalb ist die Ausbildung in diesen Fächern so wichtig.

Shafi Goldwasser ist Direktorin des Simons Institute an der University of California in Berkeley, USA, eines weltweit führenden Instituts für theoretische Informatik. Gleichzeitig hat die amerikanisch-israelische Doppelbürgerin Professuren am Massachusetts Institute of Technology, MIT, und am Weizmann Institute of Science in Israel inne.

 

Auf Einladung der Albert Einstein-Gesellschaft und der Universität Bern hielt Shafi Goldwasser drei Vorträge in der Aula der Universität Bern:

Video Lecture 1: The Cryptographic Lens

Shafi Goldwasser discusses some beautiful developments in the theory of computing through this Cryptographic Lens, as well as recent developments in cryptography that may allow the next successful shift from local to cloud computing.

Shafi Goldwasser discusses some beautiful developments in the theory of computing through this Cryptographic Lens, as well as recent developments in cryptography that may allow the next successful shift from local to cloud computing.

Video Lecture 2: Pseudo Deterministic Algorithms and Proofs

Shafi Goldwasser describes what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. She also describes an extension of pseudo-deterministic algorithms to interactive proofs for search problems where the verifier is guaranteed with high probability to deliver the same output on different executions, regardless of the prover strategies.

Shafi Goldwasser describes what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. She also describes an extension of pseudo-deterministic algorithms to interactive proofs for search problems where the verifier is guaranteed with high probability to deliver the same output on different executions, regardless of the prover strategies.

Video Lecture 3: Safe Machine Learning

Cryptographic models and tools can and should play a role in ensuring the safe use of machine learning. Shafi Goldwasser discusses this development with its challenges and opportunities.

Cryptographic models and tools can and should play a role in ensuring the safe use of machine learning. Shafi Goldwasser discusses this development with its challenges and opportunities.
 

Kryptografie: Vertrauen herstellen in unübersichtlichen Verhältnissen

Wenn es um Verschlüsselung geht, ist um Shafi Goldwasser nicht herumzukommen. Die Mathematikerin und Kryptografin hält dieses Jahr die Einstein Lectures an der Universität Bern. Im ersten von drei Vorträgen lieferte sie einen eindrücklichen Einblick in die mathematischen Methoden hinter dem immer wichtiger werdenden verschlüsselten digitalen Datenstrom.