Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Kryptographische Protokolle SS 2009

  Inhalt | Termine | Literatur | Hinweise

Termin

Wir treffen uns ab 5.5. jeweils dienstags um 17 Uhr in Raum 03.09.014. Ausnahme ist die KW 23. Wegen der Pfingstferien treffen wir uns dann am Mittwoch, 3.6. um 11 Uhr im selben Raum.

Proseminar und Seminar

Aufgrund der grossen Nachfrage nach Pro(seminaren) haben wir uns entschieden, zusätzlich zum Hauptseminar Kryptographische Protokolle ein Proseminar anzubieten. Dies ist die gemeinsame Webseite beider Veranstaltungen.

Mit der zunehmenden Ausbreitung des Internets nimmt auch der Bedarf an sicherer Kommunikation zu, z.B. für E-Commerce und Internet-Banking oder zum sicheren Austausch geheimer Informationen wie beispielsweise Kreditkarten-Nummern. Kryptographische Protokolle sollen solch sichere Kommunikation gewährleisten.

Das Proseminar befasst sich mit den Grundlagen kryptographischer Protokolle wie symmetrischer und asymmetrischer Verschlüsselung, sowie der Beschreibung wichtiger Protokolle zu Schlüsselaustausch, Authentifizierung, digitaler Signaturen usw.

Das Seminar befasst sich mit Angriffen sowie fortgeschrittenen kryptographischen Protokollen und deren Verifikation, d.h. mit mathematischen Verfahren, um die Korrektheit von Protokollen formal zu beweisen.

Organisatorisches

Das Seminar wird im Laufe des Sommersemesters 2009 abgehalten; im Allgemeinen ist ein Proseminar- und ein Seminarvortrag pro Woche vorgesehen. Die Termine sind dienstags um 17:00 Uhr in Raum 03.09.014. Die Verteilung, die Termine und die Betreuer der einzelnen Themen findet sich hier.

Ansprechpartner für das Seminar ist Jörg Kreiker.