malb / m4ri
M4RI is a library for fast arithmetic with dense matrices over GF(2)
☆51Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for m4ri
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 months ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- M4GB: Efficient Groebner Basis algorithm☆53Updated 5 years ago
- A Python interface for https://github.com/fplll/fplll☆122Updated 4 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆67Updated 2 weeks ago
- Analysis and generation of substitutions☆22Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 5 months ago
- Lattice algorithms using floating-point arithmetic☆322Updated 4 months ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆26Updated last month
- A Sage interface for FGb (Gröbner basis computations)☆30Updated 6 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆83Updated last month
- The General Sieve Kernel☆103Updated last month
- Resources to break Adoring Poitras from WhibOx contest☆18Updated 4 years ago
- Implementation of the fastest ISD algorithms☆18Updated this week
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- Program for finding low gate count implementations of S-boxes.☆36Updated 2 weeks ago
- Source code of the Whitebox Contest Submission Server☆35Updated 3 months ago
- Finite field math in python including generic matrix operations and Reed-Solomon error correcting codes.☆63Updated 2 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆31Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- A minimalistic and high-performance SAT solver☆26Updated last year
- Successor to PolyBoRi☆17Updated last year
- Library for Polynomial System Solving through Algebraic Methods☆95Updated 3 weeks ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 8 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆88Updated last year
- masked, bit-sliced AES-128 demo code☆13Updated 7 years ago
- ☆14Updated 4 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆33Updated last year
- ☆12Updated 5 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆29Updated last year