Inria-Prosecco / pqxdh-analysis
Formal Analysis of the PQXDH Protocol
☆25Updated 9 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 9 months ago
- Crypto library☆56Updated 2 weeks ago
- FN-DSA (Falcon) signature scheme☆38Updated last month
- toy implementation of bfv in rust☆26Updated 2 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Reference repository on Lattice-based Cryptography☆24Updated 4 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- High Assurance Cryptographic Software☆10Updated 3 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 8 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆18Updated this week
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Exploration of NIST post-quantum signatures on-ramp candidates☆29Updated last month
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- MAYO C implementation☆15Updated 2 weeks ago
- ☆15Updated 2 weeks ago
- Curve ecGFp5☆68Updated 2 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
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆11Updated last week
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆20Updated 2 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 7 months ago
- List of crackpot 'scientists' and 'thinkers'☆16Updated 7 months ago
- Banquet implementation☆13Updated 2 years ago
- ☆30Updated 11 months ago
- Implementation of cryptographic primitives in Go☆12Updated 2 years ago
- ☆18Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago