FESTA-PKE / FESTA-SageMathLinks
SageMath implementation of the Isogeny-Based PKE FESTA
☆10Updated 2 years ago
Alternatives and similar repositories for FESTA-SageMath
Users that are interested in FESTA-SageMath are comparing it to the libraries listed below
Sorting:
- ☆16Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆42Updated 2 weeks ago
- ☆15Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Examples for EasyCrypt Lectures☆26Updated 4 months ago
- Rust library for isogeny-based cryptography☆19Updated 3 weeks ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- ☆17Updated 4 months ago
- SageMath library for constructing elliptic curves☆73Updated 2 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- Quantum implementation of elliptic curve primitives☆33Updated 3 years ago
- A depth-aware secure computation compiler☆17Updated 7 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆30Updated last year
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- Contains HDL code for the PQC Key Encapsulation Mechanism BIKE☆20Updated last year
- MAYO C implementation☆21Updated 9 months ago
- Super Amazing Universal Composability, Yeah!☆32Updated 3 years ago
- Latex classes for IACR publications.☆14Updated last week
- Crypto library☆66Updated last month
- Oblivious transfer library for rust☆11Updated 6 years ago
- Official SQIsign code, version under continuous development☆51Updated 6 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆25Updated last month
- ☆13Updated 6 months ago
- ☆17Updated 4 years ago
- Isogeny-based signature using Unruh's construction and the SIDH library☆18Updated 8 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 9 months ago