awslabs / LibMLKEM
☆19Updated last month
Alternatives and similar repositories for LibMLKEM:
Users that are interested in LibMLKEM are comparing it to the libraries listed below
- Crypto library☆55Updated 3 weeks ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆39Updated 2 months ago
- Lean cryptographic library usable for bare-metal environments☆37Updated this week
- ☆146Updated last week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 5 months ago
- SPARK 2014 re-implementation of the TweetNaCl crypto library☆118Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆282Updated this week
- A central repository for specifications of cryptographic algorithms in Cryptol☆41Updated this week
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 4 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Cryptographic protocol analysis for real-world protocols.☆47Updated 5 months ago
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆65Updated last week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆49Updated 10 months ago
- ☆30Updated 10 months ago
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆60Updated 2 years ago
- High-assurance, high-performance C90 implementation of ML-KEM☆36Updated this week
- Additional implementation of BIKE (Bit Flipping Key Encapsulation)☆51Updated 10 months ago
- A foundational framework for modular cryptographic proofs in Coq☆61Updated last month
- ☆15Updated 2 weeks ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆26Updated 5 months ago
- Verified implementation of TLS 1.3 in F*☆176Updated 2 weeks ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆17Updated 2 weeks ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆25Updated last week
- Formal Analysis of the PQXDH Protocol☆25Updated 8 months ago
- Verified Assembly Language for Everest☆280Updated last year
- A collection of high-performance crypto implementations.☆46Updated last month
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆35Updated 3 weeks ago
- A repository of tools for verifying constant-timeness☆16Updated 2 weeks ago