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

Vergangene Veranstaltung

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

Dozentin:
Prof. Dr. Barbara König

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 2015 (mit den Folien aus dem Jahr 2015).

Einordnung

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

Prüfungen

Die mündlichen Prüfungen im Sommersemester 2018 finden voraussichtlich am 26. und 27.7.2018 statt.

Termine

Vorlesung

  • Mittwoch, 8:20-9:50, LE 120
  • Donnerstag, 12:15-13:45, LE 120

Übung

Die Übung findet jeden zweiten Mittwoch, 8:20-9:50, anstelle der Vorlesung statt.

Übungstermine: 25.4., 9.5., 23.5., 13.6., ...

Downloads

Folien

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

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

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

  • Übungsblatt 1: [pdf] (Besprechung am 25.4.2018)
  • Übungsblatt 2: [pdf] (Besprechung am 9.5.2018)
  • Übungsblatt 3: [pdf] (Besprechung am 23.5.2018)
  • Übungsblatt 4: [pdf] (Besprechung am 13.6.2018)
  • Übungsblatt 5: [pdf] (Besprechung am 27.6.2018)
  • Übungsblatt 6: [pdf] (Besprechung am 18.7.2018)