cryspen / hacl-packagesLinks
The Cryspen HACL Distribution
☆18Updated last month
Alternatives and similar repositories for hacl-packages
Users that are interested in hacl-packages are comparing it to the libraries listed below
Sorting:
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 2 weeks ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Crypto library☆60Updated last week
- Formal Analysis of the PQXDH Protocol☆25Updated 11 months ago
- ☆11Updated last week
- ☆13Updated last month
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated last year
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- Make your zero-knowledge applications safe with formal verification! 🍀☆14Updated last week
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆41Updated 5 months ago
- A memory allocator verified with Verus☆22Updated 2 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- The formally verified crypto library for Rust☆130Updated this week
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆38Updated 7 months ago
- ☆14Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆25Updated 2 years ago
- Specifications of cryptographic algorithms in Cryptol☆41Updated this week
- A Rust verification tool☆265Updated this week
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆31Updated 5 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆12Updated last week
- ☆28Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆37Updated last year
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Cryptographic protocol analysis for real-world protocols.☆53Updated 8 months ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆18Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆23Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆293Updated this week