A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
☆100Nov 3, 2025Updated 4 months ago
Alternatives and similar repositories for ACVP-Server
Users that are interested in ACVP-Server are comparing it to the libraries listed below
Sorting:
- Industry Working Group on Automated Cryptographic Algorithm Validation☆195Dec 1, 2025Updated 3 months ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Jun 13, 2025Updated 8 months ago
- The libacvp library is a client-side implementation of the draft ACVP protocol (github.com/usnistgov/ACVP).☆73Updated this week
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated 2 weeks ago
- Official SQISignHD code, version under continuous development.☆12Jul 18, 2025Updated 7 months ago
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last month
- ☆25Feb 18, 2026Updated 2 weeks ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆148Updated this week
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 11 months ago
- ☆11Jan 5, 2022Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- ☆23Apr 5, 2025Updated 11 months ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆122Dec 17, 2025Updated 2 months ago
- ☆12Mar 1, 2023Updated 3 years ago
- ☆16Updated this week
- Pure Rust implementation of (draft) FIPS 203 Module-Lattice-based Key-Encapsulation Mechanism Standard for server, desktop, browser and e…☆17May 15, 2024Updated last year
- A list of the state of IETF protocols and PQC☆76Jun 26, 2025Updated 8 months ago
- ☆14Jun 18, 2025Updated 8 months ago
- ACVP Proxy for accessing the NIST ACVP server for testing cryptographic implementations☆18Nov 17, 2025Updated 3 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆41Mar 18, 2025Updated 11 months ago
- An implementation of the DudeCT constant-time function tester☆25Sep 18, 2023Updated 2 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 6 months ago
- Pure Rust implementation of FIPS 205 Stateless Hash-Based Digital Signature Standard for server, desktop, browser and embedded applicatio…☆16Sep 1, 2025Updated 6 months ago
- Post-quantum cryptography certificates☆78Updated this week
- Specifications of cryptographic algorithms in Cryptol☆46Dec 23, 2025Updated 2 months ago
- ☆18Feb 27, 2026Updated last week
- A collection of examples leveraging the ndarray ecosystem.☆17Jan 6, 2020Updated 6 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Feb 16, 2026Updated 3 weeks ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- Community Cryptography Test Vectors☆97Jan 4, 2026Updated 2 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆56Jan 6, 2026Updated 2 months ago
- Python 3 bindings for liboqs☆223Dec 1, 2025Updated 3 months ago
- Is SIKE broken yet?☆20Feb 15, 2023Updated 3 years ago
- Post-quantum crypto library for the ARM Cortex-M4☆409Jan 6, 2026Updated 2 months ago
- MAYO C implementation☆25Mar 31, 2025Updated 11 months ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Aug 5, 2022Updated 3 years ago
- Circuits for functions of interest to cryptography☆28Jan 31, 2024Updated 2 years ago
- ☆571Oct 8, 2025Updated 5 months ago