lducas / BDD-noteLinks
☆12Updated 4 years ago
Alternatives and similar repositories for BDD-note
Users that are interested in BDD-note are comparing it to the libraries listed below
Sorting:
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- ☆17Updated last week
- Examples for EasyCrypt Lectures☆26Updated last month
- Lecture notes on the Foundations of Isogeny-based Cryptography☆29Updated last year
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- Python library for vectorial Boolean functions in cryptography☆11Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆84Updated 3 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆23Updated last week
- ☆38Updated 8 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- CryptoBib Database for Developers☆45Updated last month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Reference repository on Lattice-based Cryptography☆26Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- CryptoBib Main Repository for Developers☆20Updated last year
- Cryptanalysis of the Legendre PRF Challenges☆11Updated 5 years ago
- Tool for generating Elliptic curve domain parameters☆129Updated 6 months ago
- ☆14Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated last year
- ☆41Updated last year
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆98Updated 2 years ago
- An implementation of the LowMC block cipher family.☆27Updated 7 years ago
- Software optimized implementations of GIFT and GIFT-COFB☆18Updated 3 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆26Updated last year
- ☆21Updated 6 years ago
- Experiments with Universal Composability in EasyCrypt☆39Updated last week
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 6 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆28Updated 2 months ago