defeo / MathematicsOfIBCLinks
Lecture notes on the Foundations of Isogeny-based Cryptography
☆28Updated 11 months ago
Alternatives and similar repositories for MathematicsOfIBC
Users that are interested in MathematicsOfIBC are comparing it to the libraries listed below
Sorting:
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- ☆12Updated 3 years ago
- Examples for EasyCrypt Lectures☆24Updated this week
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- ☆18Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆38Updated this week
- SageMath library for constructing elliptic curves☆71Updated 2 years ago
- Reference repository on Lattice-based Cryptography☆25Updated 10 months ago
- Official SQISignHD code, version under continuous development.☆13Updated last month
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- ☆20Updated 6 years ago
- CryptoBib Main Repository for Developers☆19Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- CryptoBib Database for Developers☆45Updated 2 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆22Updated 2 months ago
- Crypto library☆62Updated last month
- High Assurance Cryptographic Software☆10Updated 9 months ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- ☆15Updated this week
- ☆14Updated 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
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- Optimized Binary GCD for Modular Inversion☆46Updated 4 years ago
- ☆44Updated 2 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- CryptoBib BibTex files☆60Updated 2 months ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆16Updated last year
- An implementation of the LowMC block cipher family.☆27Updated 7 years ago