Cryptographic protocol analysis for real-world protocols.
☆135Oct 20, 2026Updated last week
Alternatives and similar repositories for verifpal
Users that are interested in verifpal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆28Oct 20, 2026Updated last week
- Faster, Smaller, Harder HPKE for Rust☆30Aug 23, 2026Updated 2 months ago
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 6 months ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated last week
- ☆38Oct 7, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- A Rust library for finite-field arithmetic, elliptic-curve operations, isogeny scaffolding, and higher-level elliptic-curve protocols.☆29Jun 19, 2026Updated 4 months ago
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Sep 16, 2026Updated last month
- Latex classes for IACR publications.☆14Sep 30, 2026Updated last month
- ☆18Dec 8, 2025Updated 10 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆424Updated this week
- Custom Agent and Tooling for using Nyx with Firefox☆22Jul 23, 2025Updated last year
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- ☆15Jun 20, 2025Updated last year
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Oct 22, 2026Updated last week
- ☆12Apr 23, 2026Updated 6 months ago
- This repository is for the development of a fault simulator simulating different kinds of attacks on ARM M33 processors☆13Oct 2, 2026Updated 3 weeks ago
- Formal Analysis of the PQXDH Protocol☆34Jun 6, 2024Updated 2 years ago
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- ☆13Jan 23, 2022Updated 4 years ago
- Key Transparency Auditor for Signal☆19Oct 21, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- ☆67May 13, 2025Updated last year
- Rust language proof-carrying data framework☆60Updated this week
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Community contributions to the OpenFHE project☆14Mar 8, 2025Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆255Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆87Jul 26, 2026Updated 3 months ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A scalable anonymous blocklisting scheme☆13Oct 6, 2023Updated 3 years ago
- Affinidi Trust Development Kit - Rust☆15Updated this week
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- ☆14Apr 14, 2025Updated last year
- ☆12Jan 5, 2022Updated 4 years ago
- ☆37Jul 14, 2023Updated 3 years ago