The dates and events shown here are dynamically displayed from Stud.IP.

Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturersdirectly.


Semester: Summer term 2023

2.01.493 Cryptography -  

Event date(s) | room


PREREQUISITE: Please note that this course assumes that the students have had some introductory exposure to the topic of IT security, as for instance covered in the UOL's course "Introduction to IT-Security" by the same teacher who also gives the crypto course at hand.

The course provides a rigorous treatment of the basic paradigms and principles of modern cryptography. It puts an emphasis on formal definitions of security, precise assumptions, and rigorous proofs of security in well-defined models.

Concretely, the course deals with the formal and rigorous treatment of the following concepts and primitives:
  • Private-Key Encryption:
  • Definition of secure encryption and the concept of provable security
  • Pseudorandom number generators
  • Constructing secure encryption schemes based on pseudorandomness
  • Security under Chosen-Plaintext Attacks (CPA)
  • Pseudorandom functions and the construction of CPA-secure encryption
  • Pseudorandom permutations and block ciphers
  • Security against Chosen-Ciphertext Attacks (CCA)
  • Message Authentication Codes (MACs) and hash functions
  • Cryptographic assumptions
  • Key management
  • Public-key cryptography
  • Recap on RSA
  • Attacks on RSA and mitigations
  • The KEM/DEM paradigm
  • Homomorphic Encryption (particularly Paillier)
  • Secret Sharing and Threshold Encryption
  • Advanced topics (varying per semester), e.g.:
  • Secure Multiparty Computation
  • Post-Quantum Cryptography
  • Zero-Knowledge Proofs
  • Fully Homomorphic Encryption

While some of the above topics are typically covered on a very high level in an introductory course on IT security, it should be stressed that this course on cryptography differs substantially by a much more in-depth treatment of the topics with a focus on formal definitions, precise assumptions, and rigorous proofs.



(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page