xbonnetain / optimization-subset-sum
Numerical optimization code for classical and quantum subset-sum algorithms
☆10Updated 4 years ago
Alternatives and similar repositories for optimization-subset-sum:
Users that are interested in optimization-subset-sum are comparing it to the libraries listed below
- ☆28Updated last year
- ☆32Updated last year
- ☆13Updated last year
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆124Updated last year
- Solving BDD and uSVP with predicate☆45Updated 5 months ago
- ☆20Updated 2 weeks ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 8 months ago
- ☆30Updated last year
- ☆41Updated 3 weeks ago
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 2 months ago
- Automated cryptanalysis of substitution permutation network cipher☆28Updated 4 months ago
- Lattices in Cryptography (University of Michigan)☆75Updated 3 months ago
- The General Sieve Kernel☆106Updated 3 weeks ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- An implementation of Dumer's algorithm for Information Set Decoding.☆13Updated last year
- Fast lattice reduction☆180Updated 5 months ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆38Updated this week
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 5 years ago
- Representing DES in Z3☆15Updated last year
- Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.☆35Updated 8 years ago
- ☆10Updated 4 years ago
- A pure python implementation of ML-DSA (FIPS 204) and CRYSTALS-Dilithium☆74Updated 4 months ago
- Tools for studying S-boxes☆33Updated 3 weeks ago
- Functions for solving linear inequalities in integers☆41Updated 2 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆91Updated last year
- Practical Implementation of the Maurer Reduction☆10Updated last year
- A toolkit for cryptanalysis using lattices.☆108Updated last year
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆48Updated 2 years ago
- A tool to estimate the difficulty of solving the syndrome decoding problem.☆13Updated last year
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago