Formal methods and tools for evaluating cryptographic systems security (Scientific Advisor: Prof. Sergey M. Avdoshin)
Cryptographic system operates in an environment that imposes restrictions on the types of attacks that the system is exposed to. Classically, the research has mostly focused on information system security as a whole, whereas cryptographic tools evaluation techniques have not received as much attention. The main thread of our work is the development of formal techniques to analyze the security of cryptographic systems based on varying attacks. The second main thread is the development of software tools to facilitate the process of cryptosystem efficiency assessment by computer security specialists.