Veranstaltungen
Lecture with integrated exerciseFormale Aspekte der Software-Sicherheit und Kryptographie | |||
---|---|---|---|
Name in diploma supplement | Formal Aspects of Software Security and Cryptography | ||
Organisational Unit | Fachgebiet Theoretische Informatik (http://www.ti.inf.uni-due.de/) | ||
Lecturers | Prof. Dr. Barbara König | ||
SPW | 4 | Language | German |
Cycle | irregular | Participants at most | no limit |
Preliminary knowledgekeines AbstractIm 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. Contents
Literature
Teaching conceptDie Veranstaltung entspricht einem Vorlesungsanteil von 3 SWS und einem Übungsanteil von 1 SWS. Participants
| |||
WIWI‑C1245 - Lecture with integrated exercise: Formale Aspekte der Software-Sicherheit und Kryptographie |