Alternatives and similar repositories for Inequality_Solving_with_CVP

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

• rkm0959 / Implementations

  View on GitHub
  rkm0959 implements stuff
  ☆45Sep 21, 2022Updated 3 years ago
• defund / coppersmith

  View on GitHub
  Coppersmith's method for multivariate polynomials
  ☆192Oct 11, 2023Updated 2 years ago
• maple3142 / lll_cvp

  View on GitHub
  ☆66Nov 10, 2025Updated 3 months ago
• hyunsikjeong / LLL

  View on GitHub
  A repository trying to collect things related to LLL
  ☆73Sep 10, 2024Updated last year
• juliannowakowski / automated-coppersmith

  View on GitHub
  ☆37Sep 18, 2023Updated 2 years ago
• josephsurin / lattice-based-cryptanalysis

  View on GitHub
  A toolkit for cryptanalysis using lattices.
  ☆137Dec 2, 2023Updated 2 years ago
• TheBlupper / linineq

  View on GitHub
  Functions for solving linear inequalities in integers
  ☆59Jul 27, 2025Updated 6 months ago
• kionactf / coppersmith

  View on GitHub
  Coppersmith method (solving polynomial equation over composite modulus on small bounds)
  ☆123Dec 21, 2024Updated last year
• cryptolu / primes-backdoor

  View on GitHub
  Prime backdooring procedure to allow fast factorization of semiprimes
  ☆25Dec 10, 2021Updated 4 years ago
• TheBlupper / coppersmith

  View on GitHub
  ☆23Mar 4, 2025Updated 11 months ago
• rkm0959 / CTFWriteups

  View on GitHub
  Cryptography & CTF Writeups
  ☆83Feb 20, 2023Updated 2 years ago
• keeganryan / flatter

  View on GitHub
  Fast lattice reduction
  ☆229Aug 25, 2025Updated 5 months ago
• vvasseur / isd

  View on GitHub
  An implementation of Dumer's algorithm for Information Set Decoding.
  ☆14Jan 13, 2024Updated 2 years ago
• ludopulles / BLASter

  View on GitHub
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆48Nov 3, 2025Updated 3 months ago
• keeganryan / cuso

  View on GitHub
  ☆112Apr 22, 2025Updated 9 months ago
• icemonster / symbolic_mersenne_cracker

  View on GitHub
  Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
  ☆100Apr 20, 2021Updated 4 years ago
• hellman / coppersmith-algorithm

  View on GitHub
  Implements Coron's simplification of Coppersmith's algorithm
  ☆10May 28, 2017Updated 8 years ago
• GiacomoPope / Castryck-Decru-SageMath

  View on GitHub
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆138Apr 17, 2023Updated 2 years ago
• scryptos / scryptoslib

  View on GitHub
  ☆38Jul 8, 2023Updated 2 years ago
• maple3142 / gf2bv

  View on GitHub
  Solving linear systems over GF(2) by manipulating bitvectors
  ☆82Nov 22, 2025Updated 2 months ago
• jvdsn / crypto-attacks

  View on GitHub
  Python implementations of cryptographic attacks and utilities.
  ☆1,227Jan 8, 2026Updated last month
• deut-erium / auto-cryptanalysis

  View on GitHub
  Automated cryptanalysis of substitution permutation network cipher
  ☆32Aug 27, 2024Updated last year
• elliptic-shiho / crypto_misc

  View on GitHub
  ☆68Apr 13, 2020Updated 5 years ago
• epistemologist / des_symbolic

  View on GitHub
  Representing DES in Z3
  ☆16Jul 14, 2023Updated 2 years ago
• zademn / EverythingCrypto

  View on GitHub
  (Still exploring) My cryptography journey: A collection of notebooks covering different algorithms and concepts from cryptography
  ☆250Jul 6, 2023Updated 2 years ago
• mimoo / RSA-and-LLL-attacks

  View on GitHub
  attacking RSA via lattice reductions (LLL)
  ☆830Apr 11, 2021Updated 4 years ago
• mwageringel / fgb_sage

  View on GitHub
  A Sage interface for FGb (Gröbner basis computations)
  ☆39Feb 1, 2026Updated last week
• ubuntor / coppersmith-algorithm

  View on GitHub
  Implements Coron's simplification of Coppersmith's algorithm
  ☆43Oct 10, 2023Updated 2 years ago
• Lyutoon / cryptography

  View on GitHub
  Some crypto scripts which is useful in study and ctf
  ☆29Sep 2, 2021Updated 4 years ago
• JuliaPoo / MT19937-Symbolic-Execution-and-Solver

  View on GitHub
  Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices
  ☆40Aug 1, 2020Updated 5 years ago
• nguyenduyhieukma / CTF-Writeups

  View on GitHub
  ☆102Jan 3, 2022Updated 4 years ago
• theoremoon / cakectf-2021-public

  View on GitHub
  ☆32Sep 6, 2021Updated 4 years ago
• cr-marcstevens / m4gb

  View on GitHub
  M4GB: Efficient Groebner Basis algorithm
  ☆71Nov 27, 2018Updated 7 years ago
• acsc-org / acsc-challenges-2021-public

  View on GitHub
  ☆28Nov 18, 2021Updated 4 years ago
• crocs-muni / cm_factorization

  View on GitHub
  Complex multiplication based factorization
  ☆40Feb 21, 2022Updated 3 years ago
• maple3142 / My-CTF-Challenges

  View on GitHub
  Challenges I created for CTF competitions.
  ☆243Dec 28, 2025Updated last month
• AZ-0 / Writeups

  View on GitHub
  Some writeups for some CTFs
  ☆18Apr 14, 2024Updated last year
• ho94949 / EGZ

  View on GitHub
  O(n log n) algorithm finding solutions of Erdős-Ginzburg-Ziv theorem.
  ☆14Aug 18, 2022Updated 3 years ago
• pcw109550 / write-up

  View on GitHub
  CTF write-ups
  ☆218Feb 12, 2025Updated last year