PwnFunction / learn-z3
Some challenge solutions solved using z3
☆197Updated 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
- Using z3 to predict `Math.random` in v8☆265Updated 2 years ago
- Security Research☆40Updated 2 years ago
- Proof of concept for pwnkit vulnerability☆338Updated 2 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆72Updated 3 years ago
- Source code and documentation for TeamItaly CTF 2023 challenges☆19Updated last year
- Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆30Updated 3 months ago
- redpwn's CTF platform☆268Updated 5 months ago
- An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.☆184Updated 6 months ago
- CTF write-ups☆81Updated last month
- Hosting awesome cryptography CTF challenges from past CTFs☆106Updated 2 weeks ago
- Hosted challenges for our CTF events☆13Updated last year
- An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.☆106Updated last month
- ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day☆43Updated 6 months ago
- Files + Writeups for DownUnderCTF 2023 Challenges☆169Updated last year
- A Python3 implementation of the Wiener attack on RSA☆117Updated 7 months ago
- ☆42Updated last year
- Cheatsheet useful for solving Python-related challenges during CTFs.☆63Updated last week
- Binary Golf Grand Prix☆111Updated last year
- SMT based attacks on non cryptographic PRNGs☆79Updated last year
- C to Python compiler in PHP☆293Updated last year
- 🐍 Solving CTF challenges using Z3 and Python☆53Updated last year
- Small example repo for looking into log4j CVE-2021-44228☆69Updated 3 years ago
- A tool to easily archive CTFd sites to GitHub Pages☆32Updated 3 months ago
- Attack/Defense services for the 1st International Cybersecurity Challenge 2022 - Athens☆80Updated last year
- ☆58Updated 4 years ago
- Prototype Pollution using `flat` with Next.js☆102Updated last month
- A GDB+GEF-style debugger for unloading Python pickles☆62Updated 3 weeks ago
- PoC for our attacks on MEGA.☆26Updated 2 years ago
- Python sandbox escape wiki + payload generator☆69Updated 4 months ago
- Coppersmith's method for multivariate polynomials☆158Updated last year