Formale Aspekte der Software-Sicherheit und Kryptographie (SS 2021)

Vergangene Veranstaltung

Diese Seite bezieht sich auf eine Vorlesung aus vorherigen Jahren. Aktuelle Termine und Arbeitsmaterialien sind hier zu finden.

Die Vorlesung wird dieses Sommersemester aufgrund der Covid-19-Situation zunächst nicht als Präsenzveranstaltung stattfinden, sondern online. Bitte melden Sie sich im Moodle-Kurs an. Bitte kontaktieren Sie uns über Ihre UDE-Mailadresse, um den Zugangsschlüssel zu erhalten. Dort werden alle Materialien und weitere Informationen regelmäßig aktualisiert.

Wöchentlich werden Videos von der Vorlesung bereitgestellt. Übungsaufgaben werden online abgegeben und bewertet. Auch die Besprechung der Übungen erfolgt online durch Videos. Fragen zum Stoff können im Moodle-Forum oder per Mail gestellt werden und werden von uns beantwortet.

Dozentin:
Prof. Dr. Barbara König

Übungsleitung:
Karla Messing

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 2019.

Einordnung

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

Termine

Vorlesung

Online, als Aufzeichnung zum Download. Links werden im Moodle bereitgestellt.

Übung

Alle zwei Wochen online, Links werden im Moodle bereitgestellt.

Prüfungen

Die Termine der Prüfungen werden im Laufe des Semesters bekanntgegeben.

Moodle

Moodle-Kurs

Bitte kontaktieren Sie uns über Ihre UDE-Mailadresse, um den Zugangsschlüssel zu erhalten.

Downloads

Folien

Die Folien werden im ähnlich zu den Folien im Sommersemester 2019 sein. Diese sind von der Webseite der letztmaligen Vorlesung erhältlich.

Übungsblätter

Übungsblätter werden eine Woche vor der Übung bereitgestellt.