GiacomoPope / isogeny_rsLinks
Rust library for isogeny-based cryptography
☆16Updated last month
Alternatives and similar repositories for isogeny_rs
Users that are interested in isogeny_rs are comparing it to the libraries listed below
Sorting:
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 6 months ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Updated 3 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆132Updated 2 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 2 years ago
- Latex classes for IACR publications.☆12Updated last week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- ☆14Updated last year
- ☆16Updated last month
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Examples for EasyCrypt Lectures☆24Updated 2 weeks ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- ☆41Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆16Updated 4 months ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆66Updated last week
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- CryptoBib BibTex files☆59Updated last month
- Official SQIsign code, version under continuous development☆32Updated 3 weeks ago
- Deployments of fancy cryptography☆146Updated 2 months ago
- MAYO C implementation☆16Updated 3 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆47Updated 2 weeks ago
- ☆17Updated 3 weeks ago
- Benchmark on KPQClean☆6Updated last year
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 6 years ago
- Official SQISignHD code, version under continuous development.☆13Updated last month
- ☆14Updated 3 months ago
- Experiments with Universal Composability in EasyCrypt☆36Updated this week
- Hashing to Elliptic Curves☆81Updated 10 months ago
- Tool for generating Elliptic curve domain parameters☆127Updated 3 months ago
- CryptoBib Main Repository for Developers☆19Updated 10 months ago