Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die Sicherheit von Systemen mittels der Methoden der beweisbaren Sicherheit zu argumentieren und sind mit "fortgeschrittenen" kryptographischen Konzepten vertraut, wie z.B. zero-knowledge Beweissysteme, Protokolle für mutli-party computation, sowie mit Systemen die auch gegen Angriffe mit Quantencomputern sicher sind. Sie werden einen Überblick über die derzeit aktiven Forschungsgebiete im Bereich der "asymmetrischen" (public-key) Kryptographie haben.Dieser Kurs wird im Sommersemester 2022 nicht abgehalten
• Provable security, the random-oracle model• Pairing-based cryptography, identity-based encryption• Zero-knowledge and succinct proof systems• Lattice-based cryptography (quantum-secure public-key schemes)• Secure multi-party computation
(Online) Vorlesungen mit Folien und Beispiele als Hausübungen um den unterrichteten Stoff zu vertiefen.
ECTS Aufschlüsselung (6 ECTS = 150 Stunden)
Vorlesung (46 Stunden)Hausübungen (50 Stunden)Selbststudium (51 Stunden)Prüfung (3 Stunden)
Da der Kurs eine VU ist, gibt es Hausübungen, deren Lösungen im TUWEL-Kurs hinaufgeladen werden müssen und die dann in einem Zoom-Meeting von den Studentinnen und Studenten*_ vorgetragen und diskutiert werden. Weiters gibt es eine "closed-book" Abschlussprüfung, die gemäß den TU-Vorgaben online abgehalten wird. Während der Prüfung müssen sie eine Kamera aktivieren.
Zusammensetzung der Note: 50% Hausübungen und Vorträge der Beispiele; 50% Abschlussprüfung.
In der Vorlesung verwendete Unterlagen:• Katz, Lindell: Introduction to Modern Cryptography, 2nd Ed.• Boneh, Shoup: A Graduate Course in Applied Cryptography v0.5 (online: https://crypto.stanford.edu/~dabo/cryptobook)• Peikert: A Decade of Lattice Cryptography (online: https://eprint.iacr.org/2015/939)• Lindell: Secure Multiparty Computation (online: https://eprint.iacr.org/2020/300)
Kenntnisse über die Grundlagen der Kryptographie, insbesondere der beweisbaren Sicherheit, wie sie in Einführungskursen wie 192.107 vermittelt werden, werden vorausgesetzt.
