trevphil / cryptosym
SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
☆37Updated 2 years ago
Alternatives and similar repositories for cryptosym:
Users that are interested in cryptosym are comparing it to the libraries listed below
- elliptic curve cryptography with GPU acceleration☆18Updated last year
- very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64☆23Updated 4 years ago
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆24Updated last year
- Breaking ECDSA (not so broken) with LLL☆76Updated 7 months ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆39Updated 5 months ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆28Updated 2 years ago
- ☆97Updated last year
- SAT-based Bitcoin Mining☆84Updated 2 years ago
- Zcash FPGA acceleration engine☆121Updated 4 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks☆56Updated 5 years ago
- Elliptic Curve Cryptography playground/toolkit written in pure Python☆67Updated 2 years ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆40Updated 2 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆21Updated 5 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆31Updated 3 years ago
- ☆29Updated 10 months ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆29Updated 5 months ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated last year
- Simulation framework for non-standard mining strategies☆56Updated 3 years ago
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆9Updated 5 years ago
- ECDSA nonce-reuse attack to recover a private key.☆49Updated 4 years ago
- Speed up secp256k1 with endomorphism☆13Updated 2 years ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆42Updated 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 last year
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆50Updated this week
- Accelerating bitcoin's ECDSA - implemented in C and OpenCL for GPUs☆50Updated 4 years ago
- A tiny ellliptic curve library☆77Updated last year
- Tool for computing elliptic curve (EC) discrete logarithms☆35Updated 7 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆28Updated 2 months ago
- An implementation of the LowMC block cipher family.☆26Updated 7 years ago
- visualize operations on the secp256k1 elliptic curve including point addition, multiplication, signing and verifying☆28Updated 9 years ago