trevphil / cryptosym
SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
☆38Updated 2 years ago
Alternatives and similar repositories for cryptosym
Users that are interested in cryptosym are comparing it to the libraries listed below
Sorting:
- Breaking ECDSA (not so broken) with LLL☆81Updated last month
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆25Updated last year
- Attacking ECDSA with nonce leakage using lattice-based algorithms☆14Updated 7 months ago
- A lookup table for the discrete log in secp265k1☆21Updated 4 years ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆40Updated 9 months ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks☆56Updated 5 years ago
- ☆102Updated last year
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆28Updated 2 years ago
- very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64☆24Updated 4 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆22Updated 5 years ago
- Implementation of Lattice Attacks on (EC)DSA described in the research paper: Chao Sun,Thomas Espitau, Mehdi Tibouchi, and Masayuki Abe, …☆25Updated 3 years ago
- elliptic curve cryptography with GPU acceleration☆22Updated 2 years ago
- Tool for computing elliptic curve (EC) discrete logarithms☆36Updated 7 years ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆41Updated 2 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- Tool for generating Elliptic curve domain parameters☆122Updated last month
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆9Updated 5 years ago
- Lattice ECDSA attack☆129Updated 3 years ago
- visualize operations on the secp256k1 elliptic curve including point addition, multiplication, signing and verifying☆30Updated 9 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 last year
- ☆37Updated 2 years ago
- Solving BDD and uSVP with predicate☆48Updated 9 months ago
- Attacks on Jarvis and Friday☆10Updated 5 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆30Updated 2 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated last month
- ECM Factorization on CUDA-GPUs☆13Updated 4 years ago
- Pollard-Rho-kangaroo solved cuda☆14Updated 5 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆96Updated last year