Seminar im Wintersemester 2004/2005

Zero-Knowledge

Zero-Knowledge ist ein wichtiges Konzept in der modernen Kryptographie. Mithilfe von ZK-Beweisen lassen sich viele Protokollaufgaben auf elegante Weise lösen. Es zeigt sich aber, daß für verschiedene Aufgaben verschiedene Varianten des ZK-Begriffs von Relevanz sind.

Das Seminar "Zero-Knowledge" beschäftigt sich mit den Grundlagen des Begriffes, sowie der Modellierung und Realisierung von ZK-Beweisen. Im Laufe des Seminares sollen u.a. die folgenden Themengebiete erarbeitet werden:

• Definitionen und Varianten von ZK
• Konkrete ZK-Verfahren
• Grenzen von ZK

Das Seminar richtet sich an Studierende der Informatik, Mathematik, Physik und verwandter Fächer im Hauptstudium. Das Seminar findet semesterbegleitend statt, dabei sind Vorträge von jeweils etwa 90 Minuten vorgesehen.

Termin

Freitags, 14.00 Uhr im Seminarraum 252 (ab 19. November 2004).

Vortragsthemen und (vorläufige) -termine

1. Einführung in Zero-Knowledge (2004-11-19)
2. ZK-Beweise für NP (2004-11-26)
3. Proofs of Knowledge + Arguments (2004-12-10)
4. Effiziente ZK-Beweise (2005-02-11)

Fragen bitte richten an: Stefan Röhrich (Tel.: 608-4025, Zi. 230), Dominique Unruh (Tel.: 608-6287, Zi. 238), im Informatik-Neubau.

E-Mail: sr@ira.uka.de, unruh@ira.uka.de