Beweisbare Sicherheit in der Kryptographie

  • Typ: Vorlesung (V)
  • Semester: SS 2019
  • Zeit: 29.04.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


    06.05.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    13.05.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    20.05.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    27.05.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    03.06.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    17.06.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    24.06.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    01.07.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    08.07.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    15.07.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    22.07.2019
    09:45 - 11:15 wöchentlich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
  • Dozent: Prof. Dr. Dennis Hofheinz
  • SWS: 2
  • LVNr.: 24166
VoraussetzungenKeine

Empfehlungen:

Vorlesung Sicherheit

BeschreibungWann ist ein Verschlüsselungsverfahren sicher? Welche Sicherheitsgarantien gibt ein Signaturverfahren? Wie konstruiert man sichere kryptographische Systeme?
LehrinhaltWann ist ein Verschlüsselungsverfahren sicher? Welche Sicherheitsgarantien gibt ein Signaturverfahren? Wie konstruiert man sichere kryptographische Systeme? Diese und weitere Fragen sollen in der Vorlesung beantwortet werden. Besonderes Augenmerk wird hierbei auf konkrete Beispiele gelegt: es werden verschiedene kryptographische Verfahren (wie etwa Verschlüsselungsverfahren) vorgestellt und deren Sicherheit analysiert. Hierbei spielt der Begriff des Sicherheitsbeweises eine zentrale Rolle: es sollen mathematische Beweise dafür gefunden werden, dass ein gegebenes System unter festgelegten komplexitätstheoretischen Annahmen gewisse erwünschte Eigenschaften hat.
Arbeitsbelastung
  1. Präsenzzeit in Vorlesungen: 24 h
  2. Vor-/Nachbereitung derselbigen: 16 h
  3. Prüfungsvorbereitung und Präsenz in selbiger: 50 h
ZielDer/die Studierende
  • kennt die Grundlagen der Analyse von kryptographischen Systemen mit beweisbaren Sicherheitsgarantien
  • versteht und erklärt kryptographisch wünschenswerte und prinzipiell beweisbare Sicherheitseigenschaften kryptographischer Systeme
  • versteht und erklärt Beispiele beweisbar sicherer kryptographischer Systeme.
PrüfungDie Erfolgskontolle wird in der Modulbeschreibung erläutert.