PwnFunction / learn-z3Links
Some challenge solutions solved using z3
☆223Updated 3 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☆323Updated 3 years ago
- Proof of concept for pwnkit vulnerability☆344Updated 2 years ago
- ☆45Updated 2 years ago
- Security Research☆39Updated 3 years ago
- A tool to easily archive CTFd sites to GitHub Pages☆42Updated last week
- redpwn's CTF platform☆274Updated 8 months ago
- A Meme-based programming language☆71Updated 3 months ago
- Generate prime numbers from pictures!☆339Updated 3 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆95Updated 4 years ago
- CVE-2021-3156 - Sudo Baron Samedit☆222Updated 3 years ago
- Predict python's random module generated values.☆422Updated 11 months ago
- Chrome extension that replaces occurrences of 'machine learning' with 'money la*ndering'☆14Updated 8 months ago
- Code for the JS Is Weird (EXTREME EDITION) video☆326Updated 2 years ago
- The updated website for b01lers CTF!☆12Updated last week
- An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.☆235Updated last year
- An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.☆138Updated 8 months ago
- visualizing CTF clusters (teams playing together at DEFCON)☆28Updated 2 years ago
- Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.☆448Updated 3 years ago
- a CTF web challenge about making screenshots☆224Updated 4 years ago
- SMT based attacks on non cryptographic PRNGs☆87Updated 2 years ago
- Minecraft:Hacked is a video series exploring various technical areas of Minecraft.☆217Updated 2 years ago
- Some wrrite-ups☆18Updated 8 months ago
- aNOther CTF platform☆24Updated last month
- Get rickrolled, right in your favourite NSA reverse engineering tool☆77Updated 2 years ago
- Complicated math expression generator☆103Updated last year
- Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆40Updated last year
- Hayden Housen's solutions to the 2021 PicoCTF Competition☆56Updated last year
- CTF challenge per-team instance runner☆37Updated this week
- Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.☆192Updated 4 years ago
- Runs exploits, fast.☆97Updated 3 weeks ago