GiacomoPope / isogeny_rsLinks
Rust library for isogeny-based cryptography
☆18Updated last week
Alternatives and similar repositories for isogeny_rs
Users that are interested in isogeny_rs are comparing it to the libraries listed below
Sorting:
- Deployments of fancy cryptography☆166Updated 2 weeks ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Updated 6 months ago
- Latex classes for IACR publications.☆14Updated 2 weeks ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆84Updated 3 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆21Updated 9 months ago
- Official SQISignHD code, version under continuous development.☆12Updated 3 months ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 4 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆138Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆26Updated last year
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- CryptoBib BibTex files☆62Updated this week
- ☆44Updated 2 years ago
- ☆17Updated last week
- Official SQIsign code, version under continuous development☆40Updated 4 months ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- CryptoBib Main Repository for Developers☆20Updated last year
- ☆14Updated last year
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- Hashing to Elliptic Curves☆80Updated last year
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆70Updated this week
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated last year
- A list of the state of IETF protocols and PQC☆72Updated 3 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Updated 7 months ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆107Updated this week
- Experiments with Universal Composability in EasyCrypt☆39Updated last week
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆53Updated last month
- SageMath library for constructing elliptic curves☆71Updated 2 years ago
- ☆14Updated 6 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated 11 months ago