Cryptographic protocol analysis for real-world protocols.
Formal Verification of Telegram's MTProto 2.0
Online engine for reasoning about the Noise Protocol Framework.
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.
This project aims to implement the Pi_t ("t" for "tulip" or "threshold") onion routing protocol in a service-model environment.
Пример работы протокола Диффи — Хеллмана на нескольких ЯП / An example of the Diffie - Hellman protocol working on several programming languages
Explore the intricate fusion of AES and RSA for symmetric and asymmetric encryption, ECC and AES for elliptic curve cryptography, ECC and Blowfish for enhanced security, and 3DES and RSA for versatile encryption capabilities.
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."