inf462 - Cryptography (Vollständige Modulbeschreibung)
Modulbezeichnung | Cryptography |
Modulkürzel | inf462 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Die Studierenden verstehen die Grundlagen der modernen Kryptographie. Die Studierenden können die formalen Sicherheitsdefinitionen der wichtigsten kryptographischen Primitive erläutern und können Beweistechniken anwenden, um zu zeigen, dass eine bestimmte kryptographische Konstruktion eine bestimmte Sicherheitsdefinition erfüllt. Sie können die zugrundeliegenden kryptographischen Annahmen identifizieren, analysieren und im Kontext diskutieren. Darüber hinaus sind die Studierenden in der Lage, kryptographische Primitive zu bauen, die nachweislich bestimmte Sicherheitsziele erfüllen.
Methodenkompetenzen Die Studierenden:
Sozialkompetenzen Die Studierenden:
Selbstkompetenzen Die Studierenden:
|
Modulinhalte | Der Kurs bietet eine rigorose Behandlung der grundlegenden Paradigmen und Prinzipien der modernen Kryptographie. Der Schwerpunkt liegt auf formalen Definitionen von Sicherheit, präzisen Annahmen und rigorosen Sicherheitsbeweisen in wohldefinierten Modellen.
Während einige der oben genannten Themen typischerweise auf einem sehr hohen Niveau in einem Einführungskurs über IT-Sicherheit behandelt werden, sollte betont werden, dass sich dieser Kurs über Kryptographie durch eine viel tiefer gehende Behandlung der Themen mit Schwerpunkt auf formalen Definitionen, präzisen Annahmen und strengen Beweisen wesentlich unterscheidet. |
Literaturempfehlungen |
|
Links | |
Unterrichtssprache | Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | Every summer semester |
Aufnahmekapazität Modul | 30 |
Lehr-/Lernform | V+Ü |
Vorkenntnisse | Hard requirement: Fundamental knowledge on algorithms, discrete structures, and linear algebra as for instance covered in the following bachelor courses at the UOL: • Inf030 Programmierung, Datenstrukturen und Algorithmen • Mat950 Diskrete Strukturen • Mat955 Linear Algebra für Informatik |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 2 | SoSe | 0 | |
Übung | 2 | SoSe | 0 | |
Präsenzzeit Modul insgesamt | 0 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | At the end of the lecture time |
Written or oral Exam |