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:

• Message Authentication Codes (MACs) and hash functions
• Cryptographic assumptions
• Key management
• Public-key cryptography

• Advanced topics (varying per semester), e.g.:

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.