Cryptographic protocol analysis for real-world protocols.
-
Updated
May 15, 2024 - Go
Cryptographic protocol analysis for real-world protocols.
Formal Verification of Telegram's MTProto 2.0
Online engine for reasoning about the Noise Protocol Framework.
Пример работы протокола Диффи — Хеллмана на нескольких ЯП / An example of the Diffie - Hellman protocol working on several programming languages
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."