Dozentin:
Prof. Dr. Barbara König

Übungsleiter:
Richard Eggert

Inhalt und Lernziele

Im Bereich der Software-Sicherheit und Kryptographie ist es wichtig, theoretische Grundlagen zu besitzen, aufgrund derer die Sicherheit von Verfahren und Protokollen bewertet werden kann. Im Rahmen dieser Vorlesung werden sowohl komplexitätstheoretische als auch semantische Grundlagen zu diesem Gebiet vermittelt. Inhalte im Einzelnen:

• Kryptographie (Grundlagen der Kryptographie, One-Time-Pad, Advanced Encryption Standard, RSA und Primzahltests, Einweg- und Falltür-Funktionen)
• Kryptographische Protokolle (Interactive Proof Systems, Zero-Knowledge-Beweise, Secure Multi-Party Computations, Blockchain)
• Verifikation kryptographischer Protokolle (Eindringlingsmodell nach Dolev-Yao, Sicherheitslücken in kryptographischen Protokollen, angewandter pi-Kalkül, Model-Checking kryptographischer Protokolle, Hornklauseln und Resolution)

Siehe auch die Webseite aus dem SS 2018 (mit den Folien aus dem Jahr 2018).

Einordnung

• Master Angewandte Informatik (MAI): Informatik für den Anwendungsbereich - Verteilte, Verlässliche Systeme

Prüfungen

Die mündlichen Prüfungen im Sommersemester 2020 finden am 23. und 24. Juli 2020 statt. Bitte melden Sie sich beim Prüfungsamt im Anmeldezeitraum (15.6.-26.6.) an. Bitte kontaktieren Sie mich ab 13. Juli, um einen genauen Termin zu erhalten. Dann kann ich Ihnen auch Einzelheiten zum Prüfungsablauf mitteilen.

Die mündlichen Prüfungen im Wintersemester 2019/20 finden am 6. und 7. Februar 2020 im Raum LF 264 statt. Im Sekretariat LF 227 liegen ab sofort Terminlisten aus, in die Sie sich eintragen können.

Termine

Vorlesung

• Mittwoch, 8:30-10:00, LE 120
• Donnerstag, 12:15-13:45, LE 120

Übung

Die Übung findet alle zwei Wochen anstelle einer Vorlesung statt.

Übungstermine: 02.05, 16.05, 29.05,  13.06, 27.06, 11.07.