This course will cover the theory of protocols and related areas with connections to cryptology, mathematics and complexity theory. Key areas we will cover include the following: Probabilistic proof systems, Commitment Schemes, Zero-Knowledge, and Multiparty Computation Protocols.
We will also look at practical applications in areas that become increasingly important as society moves towards electronic implementations of important functionalities. This includes User Identification, Electronic Voting, Distributed Signature and Encryption schemes, Electronic cash etc.
Lecturers:
Ivan Damgård and Ronald Cramer
Prerequisites:
An introductory course in cryptology; or dAlg
Evaluations:
Depending on the number of participants, a take-home exam or exercises plus student seminars
Course Language:
English
Credits:
2 points / 10 ECTS