Martin Hirt: Catalogue data in Spring Semester 2023

Award: The Golden Owl
Name Dr. Martin Hirt
Inst. f. Theoretische Informatik
ETH Zürich, CAB H 19.1
Universitätstrasse 6
8092 Zürich
Telephone+41 44 632 73 77
Fax+41 44 632 18 92
DepartmentComputer Science

252-0408-00LCryptographic Protocols Information 6 credits2V + 2U + 1AM. Hirt
AbstractIn a cryptographic protocol, a set of parties wants to achieve some common goal, while some of the parties are dishonest. Most prominent example of a cryptographic protocol is multi-party computation, where the parties compute an arbitrary (but fixed) function of their inputs, while maintaining the secrecy of the inputs and the correctness of the outputs even if some of the parties try to cheat.
ObjectiveTo know and understand a selection of cryptographic protocols and to
be able to analyze and prove their security and efficiency.
ContentThe selection of considered protocols varies. Currently, we consider
multi-party computation, secret-sharing, broadcast and Byzantine
agreement. We look at both the synchronous and the asynchronous
communication model, and focus on simple protocols as well as on
highly-efficient protocols.
Lecture notesWe provide handouts of the slides. For some of the topics, we also
provide papers and/or lecture notes.
Prerequisites / NoticeA basic understanding of fundamental cryptographic concepts (as taught
for example in the course Information Security) is useful, but not
Subject-specific CompetenciesConcepts and Theoriesassessed
Techniques and Technologiesassessed
Method-specific CompetenciesAnalytical Competenciesassessed
Personal CompetenciesCreative Thinkingfostered
Critical Thinkingfostered