SS 2015: Formale Aspekte der Software-Sicherheit und Kryptographie

Dozentin / Übungsleitung

Dozentin: Prof. Dr. Barbara König (Email)

Übungsleitung: Sebastian Küpper (Email)

Lernziele / Inhalt

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

Prüfung

Die mündlichen Prüfungen im Wintersemester 15/16 finden am 7. und 8.3.2016 statt.
Ab sofort liegen im Sekretariat LF 227 Terminlisten zum Eintragen aus.

Termine

Vorlesung:

  • Montag, 10:00-12:00, Raum LE 120
  • Donnerstag, 12:00-14:00, Raum LE 120

Übung:

Die Übung findet jeden zweiten Montag, 10:00-12:00, statt der Vorlesung statt.

Einordnung

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

Folien

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

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Blatt 1 (13.04.), Besprechung am 20.04.
  • Blatt 2 (27.04.), Testatblatt - Abgabe & Besprechung am 04.05.
  • Blatt 3 (13.05.), Besprechung am 18.05.
  • Blatt 4 (22.05.), Testatblatt - Abgabe & Besprechung am 01.06.
  • Blatt 5 (09.06.), Besprechung am 15.06.
  • Blatt 6 (19.06.), Testatblatt - Abgabe & Besprechung am 29.06.
  • Blatt 7 (19.06.), Besprechung am 13.07.

Aktuelles

Keine Artikel in dieser Ansicht.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin