Inria-Prosecco / pqxdh-analysis
Formal Analysis of the PQXDH Protocol
☆25Updated 11 months ago
Alternatives and similar repositories for pqxdh-analysis:
Users that are interested in pqxdh-analysis are comparing it to the libraries listed below
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 11 months ago
- Crypto library☆58Updated last week
- ☆13Updated 3 weeks ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated 10 months ago
- The Cryspen HACL Distribution☆18Updated 2 weeks ago
- ☆15Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- ☆14Updated last month
- toy implementation of bfv in rust☆26Updated 3 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16Updated last year
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated 2 months ago
- MAYO C implementation☆16Updated last month
- Experiments with Universal Composability in EasyCrypt☆33Updated 3 weeks ago
- Reference repository on Lattice-based Cryptography☆24Updated 6 months ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- ☆16Updated last week
- Script generated finite field arithmetic for elliptic curve cryptography☆20Updated this week
- An implementation of ZKBoo☆33Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆14Updated last month
- FN-DSA (Falcon) signature scheme☆42Updated last month
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Examples for EasyCrypt Lectures☆24Updated 3 months ago
- ☆18Updated last year
- A basic implementation of Yao's Garbled Circuits☆28Updated 3 years ago
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- High Assurance Cryptographic Software☆10Updated 5 months ago
- Banquet implementation☆13Updated 3 years ago
- ☆28Updated 3 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year