Veranstaltungen

Lecture with integrated exercise

Formale Aspekte der Software-Sicherheit und Kryptographie

Name in diploma supplement
Formal Aspects of Software Security and Cryptography
Organisational Unit
Fachgebiet Theoretische Informatik
Lecturers
Prof. Dr. Barbara König
SPW
4
Language
German
Cycle
irregular
Participants at most
no limit
Participants

Preliminary knowledge

keines

Abstract

Im 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

  • Kryptographie (Grundlagen der Kryptographie, One-Time-Pad, Advanced Encryption Standard, RSA und Primzahltests, Einweg- und Falltür-Funktionen)
  • Kryptographische Protokolle (Authentifizierung, Bit Commitment, Interactive Proof Systems, Zero-Knowledge Protokolle, Secure Multi-Party Computations)
  • Verifikation kryptographischer Protokolle (Eindringlingsmodell nach Dolev-Yao, Sicherheitslücken in kryptographischen Protokollen, Angewandter pi-Kalkül, Model-Checking kryptographischer Protokolle)

Literature

  • John Talbot, Dominic Welsh: Complexity and Cryptography - An Introduction. Cambridge, 2006.
  • Christo H. Papadimitriou: Computational Complexity. Addison-Wesley, 1994
  • Arto Salomaa: Public Key Cryptography. Springer, 1990
  • William Stallings: Cryptography and Network Security: Principles and Practice. Prentice-Hall, 2003
  • Oded Goldreich: Foundations of Cryptography (Basic Applications). Cambridge University Press, 2004
     

Teaching concept

Die Veranstaltung entspricht einem Vorlesungsanteil von 3 SWS und einem Übungsanteil von 1 SWS.

Lecture with integrated exercise: Formale Aspekte der Software-Sicherheit und Kryptographie (WIWI‑C1245)