tireddy2 / pqc-for-engineersLinks
☆17Updated 3 months ago
Alternatives and similar repositories for pqc-for-engineers
Users that are interested in pqc-for-engineers are comparing it to the libraries listed below
Sorting:
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Post-quantum Wireguard (Theory)☆11Updated 5 years ago
- ☆14Updated 7 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 6 months ago
- Hybrid Public Key Encryption☆51Updated last year
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Updated 2 years ago
- Latex classes for IACR publications.☆14Updated 3 weeks ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated last year
- Official SQISignHD code, version under continuous development.☆12Updated 4 months ago
- High Assurance Cryptographic Software☆10Updated 3 weeks ago
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 3 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆20Updated 4 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Updated last year
- ☆18Updated 2 years ago
- Hashing to Elliptic Curves☆80Updated last year
- Crypto library☆66Updated 2 weeks ago
- MAYO C implementation☆20Updated 8 months ago
- Reference repository on Lattice-based Cryptography☆26Updated last year
- ☆17Updated 4 years ago
- Experimental implementation of KEMTLS in Rustls☆33Updated last month
- Banquet implementation☆14Updated 3 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 3 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 8 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆43Updated last week
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year