You are here: Home › … › Previous Courses › 2025 › Lecture Interactive Proof Systems …

Lecture Interactive Proof Systems and Cryptographic Protocols (Summer 2025)

The theory of interactive proof systems, modern crypographic protocols, Zero-Knowledge-Proofs, and Mental Card Games

News 

  • 10.09.2025: 10-11 - Inspection of the exam in 051-02-007
  • 28.08.2025: 9:15 Written Exam, room 082-00-006
  • 31.07.2025: 9:15 Early and Mock Exam, room 101-01-016/018, please check-in via forum reply
  • 01.04.2025: ILIAS online

Requirements

Except basic mathematics, no requirements are needed to particpate in this lecture.

Contents

  1. Cryptographic Protocols: Fiat-Shamir Protocol, Authentication
  2. Interactive Proof Systems: Arthur-Merlin Systems (AM), IP (Interactive Proofs), Relationships between Complexity Classes: IP, PSPACE, NP,  Zero-Knowledge Proofs, particularly Bulletproofs  
  3. Mental Card Games: Coin Switching over the Telephone, Mental Poker, Card Game Toolboxes, Bayer-Groth Shuffle

Organization

Schedule:

  • Lecture: Tuesday, 12-14, 101-01-016/018, Christian Schindelhauer
  • Exercises: Thursday, 10-12, 101-01-016/018, Christian Schindelhauer

 

We have a 2h lecture and a 2h exercise class. Participation is voluntary. The lecture will be recorded and published on  ILIAS. The exercise class will not be recorded. Exercise sheets will be published on ILIAS on Thursdays. Submission is voluntary. There are no points nor minimum requirements to participate in the exam.

Exam

There is an early written exam on 31.07.2025, 9am in 101-01-016/018 and the official exam date on 28.08.2025, 9am in 101-00-006. You can choose your date and participate in one of them. Yet, you can also use the first one as a mock exam. This decision can be made during the early exam. The inspection of both exams takes place on 10.09.2025 10am in 051-02-007. You can also ask for your exam in one of the consultation hours prior to that date.

In the upcoming semesters there will be (probably) oral exams. In any case please register online using the HisInOne-system. For participation in the early exam, please reply to the according post in the forum of ILIAS.

Depending on the number of students a written or oral exam will take place. If more than 12 students register for the exam, then the written form will be used.  In both exams you may use a single sheet of paper (of  size A4/both sides).

Literature

  • Introduction to Cryptography, Principles and Applications, Hans Delfs, Helmut Knebl, Springer 2015
  • Thaler, J., 2022. Proofs, Arguments, and Zero-knowledge 

Further literature will be given during the lecture