trevphil / cryptosymLinks
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☆82Updated 3 months ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆23Updated 5 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64☆24Updated 5 years ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆43Updated 2 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks☆57Updated 5 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆29Updated 3 years ago
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆25Updated last year
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆40Updated 10 months ago
- ☆39Updated 3 years ago
- SAT-based Bitcoin Mining☆87Updated 3 years ago
- ☆104Updated last year
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Updated 3 years ago
- elliptic curve cryptography with GPU acceleration☆24Updated 2 years ago
- ECM Factorization on CUDA-GPUs☆13Updated 4 years ago
- Zcash FPGA acceleration engine☆125Updated 4 years ago
- Tool for computing elliptic curve (EC) discrete logarithms☆36Updated 7 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆31Updated 2 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated 10 months ago
- ☆48Updated 10 years ago
- Program for finding low gate count implementations of S-boxes.☆40Updated 8 months ago
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Updated last year
- Attacking ECDSA with nonce leakage using lattice-based algorithms☆14Updated 9 months ago
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Updated 5 years ago
- This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do d…☆17Updated 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
- Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.☆9Updated 7 years ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆66Updated this week
- Python Elliptic Curve Side-Channel Analysis toolkit.☆59Updated last week