Vorlesung: Beweisbar sichere Public-Key Kryptosysteme (WS 2003/04)
Stefan Lucks

Inhalt

• Was ist ein kryptographischer Sicherheitsbeweis? Welche Aussagekraft hat so ein Beweis?
• Mutmaßlich harte Probleme:
  • Wie schwierig ist es, große Zahlen zu faktorisieren?
  • Wie schwierig ist es, diskrete Logarithmen zu berechnen?
• Beweisbar Sichere Kryptosysteme, die auf der Härte dieser Probleme beruhen:
  • Beweisbar sichere Systeme im Zufallsorakel-Modell
  • Das Cramer-Shoup Kryptosystem und seine Varianten
• Beweisbar sichere Kryptosysteme, deren Sicherheit auf anderen Problemen beruht

Mailingliste

Es gibt eine Mailingliste zur Vorlesung

Voraussetzungen

Vorlesung Kryptographie oder äquivalente Kenntnisse.

Hinweis

Eine Einführung in die Kryptographie wird im Sommersemester 2004 wieder angeboten, voraussichtlich von Professor Krause.

Zeit und Ort

Vorlesung:

• Mittwoch, 12.00-13.30 Uhr,
• Gebäude D7, 27, Raum 102

Folien

• Einleitung und Kapitel 1: Einwegfunktionen und Hardcore-Prädikate
• Kapitel 2: RSA/Rabin: Hardcore-Prädikate
• Kapitel 3: Weitere Eigenschaften klassischer PK-Kryptosysteme
• Kapitel 4: Die Paillier FEP (Falltür Einweg-Permutation)
  Nachtrag zum Beweis von Satz 1
• Kapitel 5: Chosen Ciphertext Sicherheit

Zu der Homepage von Stefan Lucks