awslabs / LibMLKEM
☆20Updated 2 months ago
Alternatives and similar repositories for LibMLKEM:
Users that are interested in LibMLKEM are comparing it to the libraries listed below
- ☆14Updated 2 weeks ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆38Updated 3 months ago
- Lean cryptographic library usable for bare-metal environments☆41Updated this week
- ☆12Updated last week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 3 weeks ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆29Updated last month
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated this week
- Crypto library☆57Updated 3 weeks ago
- SPARK 2014 re-implementation of the TweetNaCl crypto library☆118Updated 2 weeks ago
- MAYO C implementation☆16Updated 3 weeks ago
- ☆151Updated this week
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆70Updated last month
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- The Cryspen HACL Distribution☆16Updated last week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 9 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆18Updated 2 weeks ago
- Community Cryptography Test Vectors☆73Updated 2 months ago
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 5 months ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆51Updated this week
- Language for high-assurance and high-speed cryptography☆288Updated this week
- ☆30Updated 11 months ago
- Post-quantum cryptography certificates☆61Updated this week
- Formally verified, bounded-stack XML library☆23Updated 4 years ago
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- A collection of high-performance crypto implementations.☆48Updated this week
- SPARK Proof Analysis Tool☆16Updated 4 years ago
- Unbound data structures in Ada-Spark.☆11Updated 3 years ago
- Cryptographic protocol analysis for real-world protocols.☆47Updated 6 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago