tireddy2 / pqc-for-engineers
☆15Updated last week
Alternatives and similar repositories for pqc-for-engineers:
Users that are interested in pqc-for-engineers are comparing it to the libraries listed below
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 8 months ago
- Formal Analysis of the PQXDH Protocol☆25Updated 8 months ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆25Updated this week
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- High Assurance Cryptographic Software☆10Updated 2 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- ☆29Updated 3 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Implementation of cryptographic primitives in Go☆12Updated last year
- Official SQISignHD code, version under continuous development.☆11Updated 3 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆17Updated this week
- [RFC9380] Hash to curves - Rust reference implementation☆25Updated 11 months ago
- Wycheproof for Rust☆18Updated 5 months ago
- ☆11Updated last year
- CryptoBib Main Repository for Developers☆19Updated 6 months ago
- A BibTeX collection on Isogeny-based Cryptography☆18Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆10Updated last week
- Post-quantum cryptography certificates☆58Updated 3 weeks ago
- Raccoon Signature Scheme -- Reference Code☆10Updated last year
- A list of the state of IETF protocols and PQC☆50Updated 3 weeks ago
- ☆18Updated last year
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 5 months ago
- Crypto library☆55Updated 2 weeks ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 5 years ago
- ☆18Updated 3 months ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Updated 3 years ago
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Updated 5 years ago