Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Sommersemester
2023
2.01.493 Cryptography -
Veranstaltungstermin | Raum
- Montag, 17.4.2023 16:15 - 17:45 | A04 2-221
- Montag, 24.4.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 27.4.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 8.5.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 11.5.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 15.5.2023 16:15 - 17:45 | A04 2-221
- Montag, 22.5.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 25.5.2023 16:15 - 17:45 | A01 0-010 a
- Donnerstag, 1.6.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 5.6.2023 16:15 - 17:45 | A04 2-221
- Montag, 12.6.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 15.6.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 19.6.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 22.6.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 26.6.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 29.6.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 3.7.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 6.7.2023 16:15 - 17:45 | A01 0-010 a
- Montag, 10.7.2023 16:15 - 17:45 | A04 2-221
- Donnerstag, 13.7.2023 16:15 - 17:45 | A01 0-010 a
- Freitag, 11.8.2023 10:15 - 11:45 | A05 0-055
Beschreibung
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:
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.
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.
Lehrende
SWS
4