Course detail
Cryptologic Protocol Theory
FEKT-MPA-CPTAcad. year: 2023/2024
The course contains the introduction into advanced cryptography and provides the students with the information about basic cryptographic primitives and schemes. In particular, the commitment schemes, interactive proof systems, zero-knowledge protocols, sigma protocols, interactive and non-interactive proof of knowledge protocols, group signatures and advanced systems like eCash and attribute-based credentials are covered.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
The maximum of 40 points is given upon completion of the tests in laboratories. The requirements on the completion of the tasks in laboratories are described in the annual supervisor’s notice. The maximum of 60 points can be gained during the final exam.
The conditions for the successful course completion are stated in the yearly updated supervisor’s notice.
Aims
Students will obtain theoretical knowledge of main primitives used in modern cryptography, in particular of commitment schemes, zero-knowledge protocols, sigma-protocols and advanced schemes built using these primitives. After course completion, students will be able to:
Explain in English the principles of cryptographic commitments, zero-knowledge protocols and sigma protocols.
Design the interactive proof of knowledge protocols.
Use the commitment schemes in complex cryptosystems.
Evaluate speed and computational efficiency of standard proof of knowledge protocols.
Explain in English the principles of attribute authentication systems and eCash systems.
Study aids
Prerequisites and corequisites
Basic literature
STALLINGS, W. Cryptography and network security: principles and practice. Seventh edition. (EN)
Recommended reading
Elearning
Classification of course in study plans
- Programme MPAJ-TEC Master's 1 year of study, summer semester, compulsory-optional
- Programme MPAD-CAN Master's 1 year of study, summer semester, compulsory-optional
- Programme MPA-TEC Master's 1 year of study, summer semester, compulsory-optional
- Programme MPAD-CAN Master's 1 year of study, summer semester, compulsory-optional
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
1. Introduction exercise.
2. Basic cryptographic primitives overview.
3. Commitment schemes.
4. Use of cryptographic commitment schemes in protocol construction.
5. Interactive proof systems.
6. Zero-knowledge protocols.
7. Sigma protocols.
8. Interactive and non-interactive proofs of knowledge.
9. Group signatures.
10. Attribute-based credentials.
Fundamentals seminar
Teacher / Lecturer
Syllabus
2. Basic cryptographic primitives overview.
3. Commitment schemes.
4. Use of cryptographic commitment schemes in protocol construction.
5. Interactive proof systems.
6. Zero-knowledge protocols.
7. Sigma protocols.
8. Interactive and non-interactive proofs of knowledge.
9. Group signatures.
10. Attribute-based credentials.
Elearning