Cryptographic protocol analysis for real-world protocols.
Online engine for reasoning about the Noise Protocol Framework.
Formal Verification of Telegram's MTProto 2.0
This project aims to implement the Pi_t ("t" for "tulip" or "threshold") onion routing protocol in a service-model environment.
This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.
Пример работы протокола Диффи — Хеллмана на нескольких ЯП / An example of the Diffie - Hellman protocol working on several programming languages
🔒This project contains a menu to run various hybrid cryptographic algorithms. From this menu, you can choose any of the following: ECC-AES, ECC-Blowfish, AES-RSA, and 3DES-RSA.
Add a description, image, and links to the cryptographic-protocols topic page so that developers can more easily learn about it.
To associate your repository with the cryptographic-protocols topic, visit your repo's landing page and select "manage topics."