Course code: 2DMI00
Lecturer: Berry Schoenmakers, MF 6.105, email@example.com (or, firstname.lastname@example.org)
Schedule 2022-23 3rd Quarter
- Tuesdays 10.45-12.30h (3rd+4th hour) in Atlas room 6.208
- Fridays 15.30-17.15h (7th+8th hour) in Atlas room 6.208 (except on Feb. 10, March 3, 10 in Atlas room 2.225)
|Week 1||February 7. Preface, Sections 1.1, 1.2.1-3.|
|February 10. Sections 1.2.4, 1.3.1-2.|
|Week 2||February 14. Section 1.3.3, Appendix A "Fundamental Lemma of Cryptology".|
|February 17. Sections 1.3.4, 2.1.|
|Week 3||February 28. Sections 2.2, 3.1-3, MPyC.|
|March 3. Sections 3.3, 4.1-4.|
|Week 4||March 7. Sections 4.5.1-2, 4.6.|
|March 10. Sections 4.5.3, 5.1, 5.2.1-2.|
|Week 5||March 14. Sections 5.2.3-4, 5.3.|
|March 17. Sections 5.2.5, 5.4.1.|
|Week 6||March 21. Sections 5.4.2-3. |
|March 24. Chapter 6.|
|Week 7||March 28. Chapter 7.|
|March 31. Chapter 8.|
Written exam: Wednesday April 19, 2023, 13.30-16.30h; resit: Wednesday July 5, 2023, 18.00-21.00h.
Version 1.8 of the Lecture Notes Cryptographic Protocols (incl. solutions to all exercises) is available as of February 4, 2023. Please print out a copy for yourself.
Also see the matching Lecture Slides Cryptographic Protocols. (Handout version of slides without animations).
All exams since 2004 are available as well. Solutions to the exam problems will not be provided; also see Appendix B "Rating of Exercises" to find out which exercises are at exam level.
The following books are recommended as background and advanced resources:
- A Computational Introduction to Number Theory and Algebra (Version 2) by Victor Shoup, Cambridge University Press, 2008. Great textbook providing extensive background, and beyond. Free download available.
- Secure Multiparty Computation and Secret Sharing by Ronald Cramer, Ivan Damgård, and Jesper Buus Nielsen, Cambridge University Press, 2015. Great expository text on information-theoretic secure multiparty computation and supporting techniques. See online information.
- Cryptography: An Introduction by Nigel Smart, McGraw-Hill, 2003. Modern introduction at a reasonable level of detail. The 3rd edition can still be downloaded for free. Text has been reworked into a new book Cryptography Made Simple.
- Introduction to Modern Cryptography by Jonathan Katz and Yehuda Lindell, Chapman & Hall/CRC Press, 2007. An extensive, rigorous, yet accessible treatment of modern cryptography, based on formal security definitions and with security proofs; mostly covering basic encryption and authentication techniques though. See online information.
- Foundations of Cryptography by Oded Goldreich, 2001 (Vol. 1), 2004 (Vol. 2). Thorough treatment of theoretical results in cryptography, with an extensive treatment
of zero-knowledge protocols and general two/multi-party protocols. See online information.
- Fundamentals of Cryptology: A Professional Reference and Interactive Tutorial by Henk van Tilborg, Kluwer Academic Publishers, 2000. See online information. Classic text with many worked examples in Mathematica (PDF and Mathematica notebook).
- Cryptography: Theory and Practice by Douglas Stinson and Maura Paterson, 4th edition, CRC Press, 2018. See online information.
- Complexity and Cryptography: An Introduction by John Talbot and Dominic Welsh, Cambridge University Press, 2006. Accessible treatment mainly of cryptographic algorithms, but also of some cryptographic protocols, combined with the relevant notions and ideas of computational complexity. See online information.
- Handbook of Applied Cryptography by Alfred Menezes, Paul C. van Oorschot, and Scott Vanstone, 1997. Download for free at cacr.uwaterloo.ca/hac/.
Last year's course page.