Přístupnostní navigace
E-application
Search Search Close
Course detail
FEKT-MPA-SIBAcad. year: 2023/2024
The course covers the topics of advanced cryptography and implementation of cryptographic algorithms used for assuring ICT system security. In particular, the course covers: formal proofs based on simulation paradigms, standard security model and random oracle security model, security definitions of signature schemes, security definitions of encryption schemes, security definitions of privacy-enhancing schemes, security frameworks (UC – Universal Composability Framework), implementation aspects of modern cryptographic schemes, particularly the commitment schemes, group signatures and privacy-enhancing schemes, such as attribute-based schemes.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Elearning
Classification of course in study plans
Seminar
Teacher / Lecturer
Syllabus
1. Formal proofs of cryptographic system properties2. Random oracle model3. Standard model4. Universally Composable Framework5. Formal definitions of encryption schemes6. Formal definitions of basic cryptographic primitives schemes7. Formal definitions of signature schemes8. Formal definitions of privacy-enhancing schemes9. Modern cryptographic schemes – group signatures10. Modern cryptographic schemes – authentication, identification schemes11. Modern cryptographic schemes – privacy protection12. Implementation aspects of modern cryptography