tyilo / z4
z3++
☆24Updated 9 months ago
Related projects: ⓘ
- Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices☆34Updated 4 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆60Updated 3 years ago
- Source code for the 2022 DEF CON Finals.☆51Updated last year
- Some crypto scripts which is useful in study and ctf☆25Updated 3 years ago
- Python's library written in Rust to quickly factor `n = pq` when around >50% bits of `p` and `q` are known which are distributed at rando…☆16Updated 3 years ago
- Complex multiplication based factorization☆35Updated 2 years ago
- Repo for collecting part of my public CTF challenges☆37Updated 5 months ago
- Homemade implementation of Square Attack against 4 rounds AES☆13Updated 4 years ago
- SMT based attacks on non cryptographic PRNGs☆73Updated last year
- Prime backdooring procedure to allow fast factorization of semiprimes☆21Updated 2 years ago
- rkm0959 implements stuff☆40Updated 2 years ago
- visualizing CTF clusters (teams playing together at DEFCON quals 2022)☆43Updated last year
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Updated 2 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆40Updated 11 months ago
- ☆62Updated 4 years ago
- A GDB+GEF-style debugger for unloading Python pickles☆51Updated 3 months ago
- Challenge source code from KalmarCTF 2023☆55Updated 6 months ago
- Representing DES in Z3☆15Updated last year
- All challenges from DiceCTF 2022☆29Updated 2 years ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆12Updated 8 months ago
- CVP "trick" for CTF challenges☆121Updated last year
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆92Updated 6 months ago
- A collection of crypto algorithms.☆10Updated last year
- A repository trying to collect things related to LLL☆69Updated last week
- Automated cryptanalysis of substitution permutation network cipher☆26Updated 3 weeks ago
- ☆23Updated last year
- Fuzzing tutorial with easy-to-learn labs 🚀☆154Updated 2 years ago
- Source code and solution of CTF challenges that I created.☆43Updated 3 months ago
- My CTF challenges, especially cryptography☆22Updated 8 months ago
- ☆24Updated 2 years ago