Fraunhofer-AISEC / pqdbLinks
A comprehensive list of post-quantum crypto schemes and their properties
☆13Updated last year
Alternatives and similar repositories for pqdb
Users that are interested in pqdb are comparing it to the libraries listed below
Sorting:
- OSSE and LLSE: two SSE schemes with optimal and quasi-optiaml search time☆11Updated 3 years ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆98Updated this week
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆86Updated last month
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Updated last week
- CryptoBib Database for Developers☆45Updated this week
- Industry Working Group on Automated Cryptographic Algorithm Validation☆190Updated last month
- Post-quantum cryptography certificates☆70Updated last week
- Lean cryptographic library usable for bare-metal environments☆64Updated this week
- ☆11Updated 2 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆21Updated 3 months ago
- Code and data for benchmarking post-quantum cryptography in TLS 1.3☆20Updated 4 years ago
- Teaching materials related to the Tamarin Prover☆70Updated last year
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆474Updated last week
- masked, bit-sliced AES-128 demo code☆14Updated 8 months ago
- An Implementation of the Number Theoretic Transform☆48Updated 2 years ago
- The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.☆226Updated 3 months ago
- A repository of tools for verifying constant-timeness☆18Updated 7 months ago
- Experiments with Universal Composability in EasyCrypt☆39Updated this week
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆51Updated 3 months ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 3 years ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆53Updated 2 weeks ago
- A list of the state of IETF protocols and PQC☆68Updated 2 months ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated last year
- SABER is a Module-LWR based KEM submitted to NIST☆50Updated 3 years ago
- ☆57Updated last year
- SILVER - Statistical Independence and Leakage Verification☆14Updated 3 months ago
- ☆51Updated last week
- High-order countermeasures for AES and DES☆25Updated last year