Die Notwendigkeit von Sicherheitsbeweisen für kryptographische Protokolle wird in letzter Zeit mehr und mehr erkannt. Im Lichte dieser Entwicklung wollen wir in diesem Seminar erarbeiten, wie in solchen Beweisen die Sicherheit eines Protokolls auf komplexitätstheoretische Annahmen zurückgeführt wird.
Mittwochs, 11.30 Uhr im Seminarraum 252 (ab 18. Januar 2006).
Für die Ausarbeitung (ca. 10 Seiten) bitte folgende LaTeX-Vorlage verwenden: vortrag.tex, ausarbeitung.tex, haupt.sty, unilogo.pdf. Dazu die Datei vortrag.tex nach dem eigenen Vortrag benennen und darin die Ausarbeitung schreiben, der Vortrag wird dann durch ein entsprechendes Kommando in ausarbeitung.tex ergänzt.
Die Ausarbeitung bitte bis zum 31. März 2006 an den Betreuer schicken.
Fragen bitte richten an: Jens-Matthias Bohli (Tel.: 608-6310, Zi. 259), Jörn Müller-Quade (Tel.: 608-4327, Zi. 238), Stefan Röhrich (Tel.: 608-4025, Zi. 230), Dominique Unruh (Tel.: 608-6287, Zi. 238) im Informatik-Neubau.
E-Mail: bohli@ira.uka.de, muellerq@ira.uka.de, sr@ira.uka.de, unruh@ira.uka.de
Aushang: PDF