fast-crypto-lab / Frobenius_AFFTLinks
Frobenius Additive Fourier Transform
☆13Updated 10 months ago
Alternatives and similar repositories for Frobenius_AFFT
Users that are interested in Frobenius_AFFT are comparing it to the libraries listed below
Sorting:
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Program for finding low gate count implementations of S-boxes.☆40Updated last year
- C++ STL for speed and cryptanalytic application☆11Updated last week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 2 months ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- ☆12Updated 4 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- Extended-precision modular arithmetic library that targets CUDA.☆44Updated 5 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated 2 years ago
- Analysis and generation of substitutions☆25Updated last month
- ☆16Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆63Updated last year
- ☆12Updated 3 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 7 months ago
- Flexibly construct and implement attacks on Learning Parity with Noise☆12Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆29Updated last year
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- C++ library for Fast Fourier Transforms in finite fields☆99Updated 4 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆99Updated 2 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Implementation of the fastest ISD algorithms☆23Updated 9 months ago
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 6 months ago
- Circuits for functions of interest to cryptography☆28Updated last year
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 10 years ago
- ☆38Updated 8 years ago
- Python library for vectorial Boolean functions in cryptography☆11Updated 2 years ago