vvasseur / isd
An implementation of Dumer's algorithm for Information Set Decoding.
☆14Updated last year
Alternatives and similar repositories for isd:
Users that are interested in isd are comparing it to the libraries listed below
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆17Updated last week
- C++ STL for speed and cryptanalytic application☆10Updated 2 weeks ago
- ☆39Updated 2 years ago
- Implementation of the fastest ISD algorithms☆22Updated 2 months ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated last year
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆30Updated 2 months ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆128Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆81Updated 3 years ago
- Automated cryptanalysis of substitution permutation network cipher☆31Updated 8 months ago
- SMT based attacks on non cryptographic PRNGs☆81Updated 2 years ago
- Numerical optimization code for classical and quantum subset-sum algorithms☆10Updated 5 years ago
- ☆45Updated last week
- rkm0959 implements stuff☆44Updated 2 years ago
- ☆49Updated 2 weeks ago
- ☆21Updated 2 months ago
- Representing DES in Z3☆15Updated last year
- A tool to estimate the difficulty of solving the syndrome decoding problem.☆14Updated last year
- CVP "trick" for CTF challenges☆133Updated last year
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- ☆14Updated last month
- Fast lattice reduction☆197Updated last month
- Some writeups for some CTFs☆17Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated 10 months ago
- Prime backdooring procedure to allow fast factorization of semiprimes☆22Updated 3 years ago
- Functions for solving linear inequalities in integers☆46Updated last month
- The General Sieve Kernel☆117Updated 4 months ago
- ☆66Updated 5 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Updated last month
- Solving linear systems over GF(2) by manipulating bitvectors☆40Updated last month
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆80Updated 4 years ago