trevphil / cryptosym
SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
☆36Updated last year
Related projects: ⓘ
- Elliptic curve tools, ECDSA, and ECDSA attacks.☆37Updated last month
- Breaking ECDSA (not so broken) with LLL☆71Updated 3 months ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆26Updated 2 years ago
- elliptic curve cryptography with GPU acceleration☆16Updated last year
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆21Updated 4 years ago
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆19Updated last year
- Optimized Circuit Generation for Secure Multiparty Computation☆12Updated 4 years ago
- ☆32Updated 2 years ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆38Updated last year
- Tool for computing elliptic curve (EC) discrete logarithms☆34Updated 7 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks☆52Updated 4 years ago
- Pure python keccak implementation☆27Updated 3 years ago
- ☆86Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆28Updated last month
- Speed up secp256k1 with endomorphism☆13Updated last year
- SAT-based Bitcoin Mining☆80Updated 2 years ago
- An implementation of the LowMC block cipher family.☆24Updated 6 years ago
- Attacks on Jarvis and Friday☆10Updated 4 years ago
- Optimized Binary GCD for Modular Inversion☆42Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆33Updated last year
- A lookup table for the discrete log in secp265k1☆20Updated 3 years ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆41Updated 5 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆27Updated 3 months ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆53Updated 2 weeks ago
- very fast (NOT SECURE) implementation of arithmetic on curve secp256k1 on x86_64☆17Updated 4 years ago
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆21Updated 2 years ago
- Implementation of Lattice Attacks on (EC)DSA described in the research paper: Chao Sun,Thomas Espitau, Mehdi Tibouchi, and Masayuki Abe, …☆22Updated 2 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 3 years ago
- Implementation of the parallel Pollard's rho method for solving the Elliptic Curve Discrete Logarithm Problem (ECDLP).☆11Updated 9 years ago
- Elliptic Curve Cryptography playground/toolkit written in pure Python☆65Updated last year