paulehoffman / post-quantum-for-engineersLinks
☆11Updated 2 years ago
Alternatives and similar repositories for post-quantum-for-engineers
Users that are interested in post-quantum-for-engineers are comparing it to the libraries listed below
Sorting:
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- A list of the state of IETF protocols and PQC☆68Updated 2 months ago
- A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.☆44Updated last month
- CryptoBib Main Repository for Developers☆19Updated last year
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Post-quantum cryptography certificates☆70Updated last week
- WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes☆38Updated 2 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆50Updated 3 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- ☆17Updated 3 weeks ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- CryptoBib Database for Developers☆45Updated last week
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- SABER is a Module-LWR based KEM submitted to NIST☆50Updated 3 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆36Updated 3 months ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆51Updated 3 months ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆98Updated last week
- Crypto library☆66Updated this week
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated 2 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆23Updated this week
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year
- ☆36Updated 3 years ago
- Examples for EasyCrypt Lectures☆26Updated 3 weeks ago
- Experiments with Universal Composability in EasyCrypt☆39Updated last week
- ☆33Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- ☆37Updated 8 years ago
- MAYO C implementation☆18Updated 5 months ago