Vorlesung: Kryptographische Protokolle (SS 2003)
Stefan Lucks, Erik Zenner

Inhalt

Kryptographische Protokolle sind Kommunikationsprotokolle, die gegebene Sicherheitsanforderungen erfüllen müssen. In der Vorlesung werden

• praktische Problemstellungen untersucht,
• entsprechende Lösungsmöglichkeiten präsentiert,
• relevante Sicherheitsanforderungen motiviert und definiert und
• Methoden zur Sicherheitsanalyse vermittelt.

Vorraussichtliche Themen der Vorlesung sind

• Sichere Public-Key Verschlüsselung
• Digitale Unterschriften
• Digitale Bezahlverfahren
• Fair-Exchange Protokolle
• Sichere Elektronische Wahlen
• Zero-Knowledge Protokolle

Voraussetzungen

Vorlesung Kryptographie oder äquivalente Kenntnisse.

Zeit und Ort

• Vorlesung:
  • Dienstag, 15.30-17.00 Uhr, D7, HS 103
  • Mittwoch, 12.00-13.30 Uhr, D7, HS 103
• Übung:
  • Freitag, 12.00-13.30 Uhr, B6, A1.01

Sonderveranstaltung

Am

• Donnerstag, den 26.6.2003, 17:15-18:45 Uhr

findet in D7, HS 103 eine Sondervorlesung zum Thema "Anonymität" statt. Der Inhalt der Veranstaltung wendet sich an alle Interessenten, erfordert keine Vorkenntnisse und ist nicht prüfungsrelevant!

Track A und B

Die Vorlesung wird im Wechseln von Erik Zenner (Track A, Dienstag) und Stefan Lucks (Track B, Mittwoch) gehalten. Weitere Informationen zu den einzelnen Tracks (Inhalte, Folien, Übungsblätter, Literaturempfehlungen, Links usw.) finden sich auf den folgenden Seiten:

• Track A
• Track B

Übungsblätter

Die Übungsblätter können hier heruntergeladen werden.

• Blatt 1 (PS,PDF) - Track A, Besprechung am 16.05.2003
• Blatt 2 (PS,PDF) - Track B, Besprechung am 23.05.2003
  Programm zur Lösung von Aufgabe 3 (Programmiersprache: Oberon)
• Blatt 3 (PS,PDF) - Track A, Besprechung am 30.05.2003
• Blatt 4 (PS,PDF) - Track B, Besprechung am 13.05.2003
• Blatt 5 (PS,PDF) - Track A, Besprechung am 20.06.2003
• Blatt 6 (PS,PDF) - Track B, Besprechung am 27.06.2003
• Blatt 7 (PS,PDF) - Track A, Besprechung am 04.07.2003
• Blatt 8 (PS,PDF) - Track B, Besprechung am 11.07.2003
• Blatt 9 (PS,PDF) - Track A und B, Besprechung am 18.07.2003
• Blatt 10 (PS,PDF) - Track B, Besprechung am 25.07.2003

Mailingliste

Es gibt wieder eine Mailingliste zur Vorlesung; Teilnehmer/innen an der Vorlesung werden gebeten, sich in die Liste einzutragen.

Klausur

Die Klausur fand am Freitag, dem 22.08.2003 von 11.00 bis 12.40 Uhr statt. Die Klausur kann als PostScript-Datei heruntergeladen werden.

Gelegenheit zur Klausureinsicht bestand am Dienstag, dem 23.09.2003, 14.30 - 15.30 Uhr in den Räumen der Theoretischen Informatik, Gebäude D7, 2. Stock.

Zu den Homepages von Stefan Lucks und Erik Zenner