Alternatives and similar repositories for Frobenius_AFFT

Users that are interested in Frobenius_AFFT are comparing it to the libraries listed below

• lducas / BDD-note
  ☆12Updated 4 years ago
• FloydZ / cryptanalysislib
  C++ STL for speed and cryptanalytic application
  ☆11Updated 3 weeks ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• okazymyrov / MDS
  ☆12Updated 3 years ago
• Ko- / sboxoptimization
  Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers
  ☆27Updated 8 years ago
• vsklad / cgen
  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
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆58Updated 6 years ago
• data61 / cuda-fixnum
  Extended-precision modular arithmetic library that targets CUDA.
  ☆39Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• dansarie / sboxgates
  Program for finding low gate count implementations of S-boxes.
  ☆40Updated 11 months ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated last week
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆75Updated 5 months ago
• scipr-lab / libfqfft
  C++ library for Fast Fourier Transforms in finite fields
  ☆98Updated 4 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated last week
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• fmlab-iis / cryptoline
  ☆53Updated last week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆29Updated last year
• imdea-software / verifying-constant-time
  ☆37Updated 8 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆34Updated last year
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• FloydZ / decoding
  Implementation of the fastest ISD algorithms
  ☆22Updated 7 months ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• cryptolu / sparkle
  Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things
  ☆36Updated 2 years ago
• hurchalla / modular_arithmetic
  Clockwork: A Modular Arithmetic library for C++
  ☆11Updated this week