cryptographic-protocols
Here are 7 public repositories matching this topic...
Cryptographic protocol analysis for real-world protocols.
- Updated
Feb 15, 2026 - Go
Online engine for reasoning about the Noise Protocol Framework.
- Updated
Nov 15, 2024 - Rust
Formal Verification of Telegram's MTProto 2.0
- Updated
Jan 19, 2023 - Shell
🔒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.
- Updated
Mar 12, 2025 - Ruby
Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.
- Updated
Jun 10, 2025 - C
This project aims to implement the Pi_t ("t" for "tulip" or "threshold") onion routing protocol in a service-model environment.
- Updated
Nov 14, 2025 - Go
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.
- Updated
Jul 25, 2024 - Python
Improve this page
Add a description, image, and links to thecryptographic-protocols topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecryptographic-protocols topic, visit your repo's landing page and select "manage topics."