Cryptographic protocol analysis for real-world protocols.
Online engine for reasoning about the Noise Protocol Framework.
Formal Verification of Telegram's MTProto 2.0
The frozen cryptographic kernel of the AXM protocol. Signed, content-addressed knowledge shards with post-quantum signatures (ML-DSA-44) and mechanically enforced non-selective recording. The gold shard is the definition of correctness.
Client-Efficient Private Information Retrieval (PETS 2025)
Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.
Lean 4 formalization of the Dolev-Yao attacker model for symbolic cryptographic protocols
🔒This project contains a menu to run various hybrid cryptographic algorithms. From this menu, you can choose any of the following: ECC-AES, ECC-BF, AES-RSA, and 3DES-RSA.
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.
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."