cpeikert / CollimationSieveLinks
Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
☆14Updated 6 years ago
Alternatives and similar repositories for CollimationSieve
Users that are interested in CollimationSieve are comparing it to the libraries listed below
Sorting:
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- SIDH C reference implementation☆13Updated 8 years ago
- CryptoBib Main Repository for Developers☆19Updated last year
- CryptoBib Database for Developers☆45Updated 3 weeks ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Updated 6 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Updated 4 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆29Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated last year
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆61Updated 2 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆16Updated 8 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 3 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆73Updated last week
- Experiments with Universal Composability in EasyCrypt☆39Updated last week
- ☆100Updated 9 years ago
- Official SQISignHD code, version under continuous development.☆12Updated 2 months ago
- Isogeny-based signature using Unruh's construction and the SIDH library☆18Updated 8 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆20Updated 4 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated 2 years ago
- Latex classes for IACR publications.☆14Updated this week
- BAT KEM/Signature Reference Implementation☆23Updated 3 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Crypto library☆66Updated last week