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.
Пример работы протокола Диффи — Хеллмана на нескольких ЯП / An example of the Diffie - Hellman protocol working on several programming languages
This project aims to implement the Pi_t ("t" for "tulip" or "threshold") onion routing protocol in a service-model environment.
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."