asuhl-ucsd / shellLLLinks
The world's first (and hopefully last) pure-bash implementation of the LLL algorithm
☆19Updated 2 years ago
Alternatives and similar repositories for shellLL
Users that are interested in shellLL are comparing it to the libraries listed below
Sorting:
- ☆44Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆84Updated 3 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆138Updated 2 years ago
- The General Sieve Kernel☆141Updated 3 months ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆14Updated 2 years ago
- MAYO C implementation☆22Updated 10 months ago
- The formally verified crypto library for Rust☆201Updated this week
- A Sage interface for FGb (Gröbner basis computations)☆39Updated last week
- Tool for generating Elliptic curve domain parameters☆131Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆328Updated this week
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆56Updated last month
- ☆23Updated 10 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 10 months ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Updated 10 months ago
- Representing DES in Z3☆16Updated 2 years ago
- ☆37Updated 2 years ago
- Crypto library☆67Updated 2 months ago
- Fast constant-time AES implementations on 32-bit architectures☆69Updated last year
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Updated 4 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆35Updated 3 weeks ago
- CryptoBib BibTex files☆62Updated 2 weeks ago
- LaTeX package for typesetting pseudocode and cryptographic games☆190Updated 2 years ago
- Official SQIsign code, version under continuous development☆52Updated 7 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆54Updated 2 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆57Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Fast lattice reduction☆228Updated 5 months ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆24Updated last year