KPN-CISO / pq-wg-theoryLinks
Post-quantum Wireguard (Theory)
☆11Updated 5 years ago
Alternatives and similar repositories for pq-wg-theory
Users that are interested in pq-wg-theory are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 months ago
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- Stronger and Faster Side-Channel Protections for CSIDH☆20Updated 4 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 3 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Official SQISignHD code, version under continuous development.☆12Updated 4 months ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 6 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 3 years ago
- ☆14Updated 7 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- ☆18Updated 2 years ago
- Hybrid Public Key Encryption☆51Updated last year
- Experimental implementation of KEMTLS in Rustls☆33Updated last month
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Deployments of fancy cryptography☆171Updated 2 months ago
- Latex classes for IACR publications.☆14Updated 3 weeks ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 8 months ago
- Banquet implementation☆14Updated 3 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated last year
- High Assurance Cryptographic Software☆10Updated 3 weeks ago
- Post-quantum cryptography certificates☆74Updated 3 weeks ago
- The secure messaging summit information☆20Updated 5 years ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Updated 4 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Updated last year
- Models for authenticated key exchange in Tamarin☆12Updated 6 years ago
- ☆19Updated 2 weeks ago
- Materials and slides for talks I've given in the past☆15Updated 4 months ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Updated 2 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Updated 2 years ago