DEVELOPMENT AND RESEARCH OF A SYSTEM FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS

Authors

  • Oksana Zhyharevych Lesya Ukrainka Volyn National University
  • Maxim Ohochtyi Lesya Ukrainka Volyn National University
  • Ivanna Shukalovych Lesya Ukrainka Volyn National University

Keywords:

cryptoprotocol, cruptanalysis, cyber security, cryptography

Abstract

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

Published

2024-06-09