A set of cryptographic proofs for simple protocols, to be formalised in various tools.
☆21Dec 3, 2025Updated 2 months ago
Alternatives and similar repositories for protocol-ladder
Users that are interested in protocol-ladder are comparing it to the libraries listed below
Sorting:
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- A tool for verifying game-hopping proofs☆15Jan 13, 2026Updated last month
- ☆25Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated last month
- Compositional Verification of Security Protocols☆30Feb 19, 2026Updated last week
- A foundational framework for modular cryptographic proofs in Coq☆74Updated this week
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Unified zkVM Interface & Toolkit☆77Updated this week
- Constant time big numbers for Go☆106Feb 26, 2025Updated last year
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆46Feb 16, 2026Updated last week
- ☆59Updated this week
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- Font and HTML editor for 12 hole ocarina tabs☆13Feb 9, 2017Updated 9 years ago
- Solutions for all programming assignments from Stanford's University Online Cryptography Course (C#)☆11Apr 12, 2015Updated 10 years ago
- The formally verified crypto library for Rust☆208Updated this week
- EME (Encrypt-Mix-Encrypt) wide-block encryption for Go.☆51Jan 25, 2026Updated last month
- ☆49Feb 12, 2026Updated 2 weeks ago
- ☆48Feb 20, 2025Updated last year
- Utility to benchmark speed of operations of a PKCS#11 implementation.☆13Feb 11, 2026Updated 2 weeks ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 3 months ago
- ☆14Apr 14, 2025Updated 10 months ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Jun 13, 2025Updated 8 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- RAINS (Another Internet Naming Service)☆10Feb 25, 2025Updated last year
- ☆12Nov 18, 2025Updated 3 months ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- ☆12Nov 19, 2024Updated last year
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 5 years ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆16Dec 24, 2025Updated 2 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- ☆12Feb 9, 2026Updated 2 weeks ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 8 years ago