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

Downloads

Published

2024-06-09

How to Cite

[1]
Zhyharevych, O. et al. 2024. DEVELOPMENT AND RESEARCH OF A SYSTEM FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS. International scientific-practical conference "Problems of computer sciences, software modeling and security of digital systems". (Jun. 2024), 30.

Issue

2024: 1st International Scientific and Practical Conference "Problems of Computer Science, Software Modeling and Security of Digital Systems"

Section

Security of digital systems. Cybersecurity.