DEVELOPMENT AND RESEARCH OF A SYSTEM FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS
Keywords:
cryptoprotocol, cruptanalysis, cyber security, cryptographyAbstract
In this work, a software tool for generating and analyzing cryptographic protocols has been developed.
References
Decision and Complexity of Dolev-Yao Hyperproperties (Technical Report). Accueil - Archive ouverte HAL. URL: https://hal.science/hal-04261390/
A High-level Overview of Modern Cryptography. Cyphertalk. URL: https://muens.io/modern-cryptography-overview
Downloads
Published
2024-06-09
Conference Proceedings Volume
Section
Security of digital systems. Cybersecurity.