Subject

Cryptographic Protocols

Course Title

Cryptographic Protocols
Cryptographic protocols

Code

m23_s_061

Study Programme

—

Organizer of the study programme (unit, institute, department or division)

Faculty of Computer Science and Engineering

Degree level (first, second, third cycle)

Second cycle

Academic year / semester

10 / Summer

Number of ECTS credits

Teacher

Panche Ribarski

Prerequisites for enrolling in the course

—

10.

Objectives of the course programme (competences)

Acquiring a basic understanding of cryptographic protocols, their design, and analysis.

11.

Course content

1. Security Assumptions
2. Proving the Security of Protocols
3. Key Exchange Protocols
4. Binding schemes
5. Challenge-response protocols for identification
6. Zero-knowledge identification protocols
7. Tools for Formal Verification of Protocols
8. Real-world protocols

12.

Learning methods

Lectures, projects, discussions and workshops

13.

Total available time

6 ECTS x 30 hours = 180 hours

14.

Distribution of available time

60 + 0 + 45 + 45 + 30 = 180 hours

15.

Forms of teaching activities

15.1.	Lectures - theoretical instruction	60 hours
15.2.	Exercises (laboratory, auditory), seminars, teamwork	0 hours

16.

Other forms of activities

16.1.	Project assignments	45 hours
16.2.	Independent assignments	45 hours
16.3.	Home study	30 hours

17.

Assessment method

17.1.	Tests	0 points
17.2.	Seminar paper / project (presentation: written and oral)	45 points
17.3.	Activities and learning	20 points
17.4.	Final exam	30 points

18.

Grading criteria (points / grade)

up to 50 points	5 (five) (F)
from 51 to 60 points	6 (six) (E)
from 61 to 70 points	7 (seven) (D)
from 71 to 80 points	8 (eight) (C)
from 81 to 90 points	9 (nine) (B)
from 91 to 100 points	10 (ten) (A)