malb / m4ri
M4RI is a library for fast arithmetic with dense matrices over GF(2)
☆65Updated last month
Alternatives and similar repositories for m4ri:
Users that are interested in m4ri are comparing it to the libraries listed below
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 10 months ago
- The General Sieve Kernel☆107Updated 3 months ago
- A Python interface for https://github.com/fplll/fplll☆129Updated last month
- Library for Polynomial System Solving through Algebraic Methods☆121Updated last week
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Lattice algorithms using floating-point arithmetic☆340Updated 4 months ago
- Fast lattice reduction☆189Updated this week
- Implementation of the fastest ISD algorithms☆19Updated last month
- Implements Coron's simplification of Coppersmith's algorithm☆10Updated 7 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- Analysis and generation of substitutions☆23Updated 2 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 4 months ago
- Representing DES in Z3☆15Updated last year
- ☆36Updated 2 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆28Updated last month
- Automated cryptanalysis of substitution permutation network cipher☆29Updated 6 months ago
- Solve discrete logarithm problems by the index calculus method.☆14Updated 7 years ago
- ☆21Updated 2 weeks ago
- ☆32Updated last year
- ☆15Updated last month
- ☆66Updated 4 years ago
- C++ STL for speed and cryptanalytic application☆10Updated this week
- ☆43Updated this week
- Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices☆38Updated 4 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆29Updated 2 years ago
- Implicit White-box Implementations of ARX Ciphers☆14Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- ☆14Updated last year
- SMT based attacks on non cryptographic PRNGs☆79Updated last year