meelgroup / bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
☆68Updated 4 months ago
Alternatives and similar repositories for bosphorus:
Users that are interested in bosphorus are comparing it to the libraries listed below
- Structured BVA☆33Updated 10 months ago
- Approximate Model Counter☆74Updated this week
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆30Updated last year
- Lingeling SAT Solver☆99Updated last year
- ☆34Updated 8 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆93Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 7 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Library for Polynomial System Solving through Algebraic Methods☆121Updated last week
- ☆15Updated 8 months ago
- ☆46Updated last week
- The first scalable probabilistic exact counter☆31Updated this week
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 11 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- Tools for studying S-boxes☆34Updated 2 weeks ago
- ☆14Updated 4 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆24Updated 6 years ago
- Cube-and-Conquer SAT solver☆32Updated last year
- The General Sieve Kernel☆107Updated 3 months ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆14Updated last year
- The DRAT-trim proof checker☆55Updated 3 months ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆15Updated 4 years ago
- ☆14Updated last year
- microsat☆132Updated 2 years ago
- Successor to PolyBoRi☆19Updated 3 months ago
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 4 months ago