Course detail


FEKT-MPC-KRYAcad. year: 2023/2024

Probability and information theory, Shannon's theory of secrecy. Computational complexity and number theory and its applications in cryptography. Turing machines and their variants, propositional logic, formal system of propositional logic, provability in propositional logic. Algebra and basic types, algebraic structures used in cryptography. Elliptic curve. Bilinear pairings and the use of cryptography, lattice, modern symmetric and asymmetric cryptographic systems. Quantum computational number theory, quantum resistant cryptography..

Language of instruction


Number of ECTS credits


Mode of study

Not applicable.

Entry knowledge

The subject knowledge on the Bachelor degree level is requested.

Rules for evaluation and completion of the course

Evaluation of study results follows the Rules for Studies and Examinations of BUT and the Dean's Regulation complementing the Rules for Studies and Examinations of BUT.
Up to 30 points are given for work in laboratory.
Up to 70 points are given for the final examination.

The content and forms of instruction in the evaluated course are specified by a regulation issued by the lecturer responsible for the course and updated for every academic year.


The objective of this course is to provide students with detailed theoretical and practical knowledge on which they are built modern cryptographic systems designed to protect information technology.
Students will be introduced to applications of cryptographic mechanisms and methods in IT. They will learn the principles of information system security. On completion of the course, students will be able to explain the principles of modern symmetric and asymmetric cryptography.

Study aids

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Burda, K. Aplikovaná kryptografie, 2013, ISBN: 978-80-214-4612-0 (EN)
Song Y. Yan. Computational Number Theory and Modern Cryptography, 2013, ISBN: 978-1-118-18858-3 (EN)

Recommended reading

Lawrence C. Washington. Elliptic Curves: Number Theory and Cryptography, Chapman and Hall/CRC, 2008, ISBN 9781420071467 (EN)
Cameron, P.J. Sets, Logic and Categories, Springer-Verlag, 2000, ISBN 1852330562 (EN)
Biggs, N.L. Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272 (EN)
Procházka, L. Algebra, Academia, Praha, 1990 (CS)


Classification of course in study plans

  • Programme MPC-IBE Master's, 1. year of study, summer semester, compulsory
  • Programme MPC-TIT Master's, 2. year of study, summer semester, compulsory-optional
  • Programme MPC-EAK Master's, 2. year of study, summer semester, compulsory

Type of course unit



26 hours, optionally

Teacher / Lecturer


Introduction to cryptology, substitution and transposition ciphers
Mathematical foundations of cryptology
Cryptographic algorithm types and modes
Secret key encryption, DES data encryption standard
Public key encryption, RSA system
Cryptographic keys and their management
Digital signatures, one-way hash functions
Basic cryptographic protocols and its building blocks
Special algorithms for protocols, identification schemes
Criteria for system security assessment, security implementation principles
Security of data in computer networks
E-commerce security, application of cryptography in electronic publishing
Legislative and ethical protection of data

Laboratory exercise

26 hours, compulsory

Teacher / Lecturer


Introduction. Information for students about the content of particular laboratory metering assignments, methods of presenting the metering results obtained, organization of work in the laboratory, review exercises and their impact on overall assessment. Safety at work in the laboratory.
Foundations of cryptology, cryptographic algorithm types and modes, digital signatures, basic cryptographic protocols and their building blocks, security of data in computer networks, Internet security.


13 hours, compulsory

Teacher / Lecturer