xbonnetain / optimization-subset-sum
Numerical optimization code for classical and quantum subset-sum algorithms
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for optimization-subset-sum
- ☆25Updated last year
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆34Updated this week
- ☆31Updated last year
- A tool to estimate the difficulty of solving the syndrome decoding problem.☆11Updated last year
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆122Updated last year
- A Sage interface for FGb (Gröbner basis computations)☆30Updated 6 months ago
- ☆30Updated last year
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆27Updated 2 weeks ago
- Solving BDD and uSVP with predicate☆44Updated 3 months ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆12Updated 10 months ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 5 years ago
- Lattices in Cryptography (University of Michigan)☆69Updated last month
- Automated cryptanalysis of substitution permutation network cipher☆27Updated 2 months ago
- MIT 6.875☆13Updated 11 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆38Updated last year
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆14Updated 4 years ago
- ☆35Updated last month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆48Updated 2 years ago
- ☆13Updated last year
- The General Sieve Kernel☆104Updated last week
- Functions for solving linear inequalities in integers☆37Updated last month
- Representing DES in Z3☆15Updated last year
- LaTeX package for typesetting pseudocode and cryptographic games☆156Updated 11 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆88Updated last year
- Implements Coron's simplification of Coppersmith's algorithm☆41Updated last year
- ☆10Updated 4 years ago
- ☆18Updated 5 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆28Updated last week
- Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.☆35Updated 8 years ago
- ☆35Updated 2 years ago