Cryptographic Protocols

Aus VISki
Wechseln zu: Navigation, Suche

This is a focus subject for the Information Security Track. It's usually held by Ueli Maurer and Martin Hirt, and as of FS17, it is held in English.

Overview

Cryptography is not really a prerequisite for this course; only a very small portion of the material is re-used and it's not a problem to acquire it during the lecture.

Compared to the cryptography course, the lecture is less abstract. It is still proof-based but the proofs are a means towards reaching concrete guarantees about a system (for example secure broadcast). If your mentor requires you to take a crypto course but you are not very mathematically-inclined, this course is better suited than Cryptography.

Quite complete lecture notes (in German) are provided by the lecturers. English lecture notes are currently being written and improved.

Curriculum

  • Zero knowledge proofs
  • Secure multi-party computation
  • eVoting

Exercises

  • There are weekly non-obligatory exercises. They are meant to be solved during the 2 hour tutorial session rather than taken home and handed in the following week.

Exam

  • This course has an oral exam

Summaries

Exams

Additional Material

Literature