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
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆22Updated 5 years ago
- Breaking ECDSA (not so broken) with LLL☆76Updated 8 months ago
- Tool for computing elliptic curve (EC) discrete logarithms☆36Updated 7 years ago
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆24Updated last year
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks☆56Updated 5 years ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆39Updated 6 months ago
- ☆99Updated last year
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆40Updated 2 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆28Updated 2 years ago
- elliptic curve cryptography with GPU acceleration☆18Updated last year
- very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64☆24Updated 4 years ago
- ☆34Updated 2 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆93Updated last year
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆31Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated 2 years ago
- Python scripts made from scratch to play with Bitcoin addresses☆42Updated 4 years ago
- Lattice ECDSA attack☆124Updated 3 years ago
- Implementation of Lattice Attacks on (EC)DSA described in the research paper: Chao Sun,Thomas Espitau, Mehdi Tibouchi, and Masayuki Abe, …☆23Updated 3 years ago
- visualize operations on the secp256k1 elliptic curve including point addition, multiplication, signing and verifying☆29Updated 9 years ago
- A lookup table for the discrete log in secp265k1☆21Updated 3 years ago
- Secure implementation of ECDSA against side-channel analysis and fault analysis attacks. The protocol is implemented on top of GMP, a big…☆9Updated 2 months ago
- Python library for fast elliptic curve crypto☆271Updated 3 weeks 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
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆29Updated 3 months ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 7 years ago
- Program for finding low gate count implementations of S-boxes.☆39Updated 4 months ago
- Attacks on ECDSA/SM2 signing algorithms☆15Updated 5 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 3 months ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆42Updated 5 years ago