PwnFunction / learn-z3Links
Some challenge solutions solved using z3
☆223Updated 2 years ago
Alternatives and similar repositories for learn-z3
Users that are interested in learn-z3 are comparing it to the libraries listed below
Sorting:
- Using z3 to predict `Math.random` in v8☆321Updated 3 years ago
- CVE-2021-3156 - Sudo Baron Samedit☆220Updated 3 years ago
- Proof of concept for pwnkit vulnerability☆347Updated 2 years ago
- Security Research☆39Updated 3 years ago
- A tool to easily archive CTFd sites to GitHub Pages☆37Updated this week
- redpwn's CTF platform☆274Updated 7 months ago
- ☆69Updated 2 years ago
- The updated website for b01lers CTF!☆12Updated 4 months ago
- ☆45Updated 2 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆93Updated 4 years ago
- A Meme-based programming language☆71Updated 2 months ago
- Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.☆446Updated 3 years ago
- Predict python's random module generated values.☆419Updated 9 months ago
- An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.☆139Updated 7 months ago
- visualizing CTF clusters (teams playing together at DEFCON)☆27Updated 2 years ago
- SMT based attacks on non cryptographic PRNGs☆86Updated 2 years ago
- Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.☆191Updated 4 years ago
- Rick Roll website that has hidden code.☆410Updated 3 years ago
- Hosting awesome cryptography CTF challenges from past CTFs☆121Updated 3 months ago
- Writeups for the challenges from DownUnderCTF 2021☆179Updated 3 years ago
- Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆40Updated 10 months ago
- Given at least 624 outputs of a Mersenne Twister PNRG we can restore its internal state.☆47Updated 10 years ago
- An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.☆226Updated last year
- the rounding error tool 🚩☆14Updated 4 months ago
- A python transpiler for rizzlers.☆58Updated 7 months ago
- A community driven resource for learning CryptoGraphy☆66Updated 2 years ago
- Files + Writeups for DownUnderCTF 2023 Challenges☆171Updated 2 years ago
- Generate prime numbers from pictures!☆338Updated 3 years ago
- Many-Time Pad Interactive☆175Updated last year
- ☆352Updated last year