PwnFunction / learn-z3

Related projects ⓘ

Alternatives and complementary repositories for learn-z3

• PwnFunction / v8-randomness-predictor
  Using z3 to predict `Math.random` in v8
  ☆258Updated 2 years ago
• hofill / AES-CTF-Tool
  ☆41Updated last year
• LiveOverflow / security-research
  Security Research
  ☆40Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆30Updated last month
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆172Updated 4 months ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆219Updated 2 years ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆26Updated last month
• PwnFunction / CVE-2021-4034
  Proof of concept for pwnkit vulnerability
  ☆337Updated last year
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆168Updated last year
• NUSGreyhats / greyctf23-challs-public
  ☆36Updated last year
• mahaloz / ike
  'Ike: A binary exploitation and reversing handbook.
  ☆69Updated last year
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆101Updated 3 months ago
• mikepound / feistel
  A toy Feistel network implementation
  ☆117Updated 4 years ago
• OpenAttackDefenseTools / ataka
  Runs exploits, fast.
  ☆78Updated 4 months ago
• redpwn / rctf
  redpwn's CTF platform
  ☆265Updated 3 months ago
• dankeyy / shitposting
  a selection of the dumbest, most cursed code i can come up with
  ☆11Updated last year
• ViRb3 / z3-python-ctf
  🐍 Solving CTF challenges using Z3 and Python
  ☆50Updated last year
• skyf0l / CTF
  Some wrrite-ups
  ☆18Updated 2 years ago
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆104Updated 4 months ago
• SecurityValley / PublicCTFChallenges
  Hosted challenges for our CTF events
  ☆13Updated last year
• datajerk / ctf-write-ups
  My write-ups from various CTFs
  ☆114Updated 10 months ago
• MasonCompetitiveCyber / PatriotCTF2022-Public
  Challenges and writeups for PatriotCTF 2022
  ☆4Updated last year
• icemonster / symbolic_mersenne_cracker
  Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
  ☆71Updated 3 years ago
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆80Updated 4 months ago
• h4ckd0tm3 / project-athena
  This project aims to provide a comprehensive IT-Security curriculum for secondary colleges in engineering.
  ☆26Updated last month
• ECSC2024 / openECSC-2024
  Source code of the challenges developed for the 2024 edition of openECSC
  ☆62Updated last month
• RischardV / emoji-shellcoding
  🤩 Emoji shellcoding tools for RISC-V (32-bit and 64-bit)
  ☆174Updated last year
• Big-polar-bear / factorization
  ☆50Updated last week
• redpwn / rcds
  redpwn's challenge deployment system
  ☆23Updated 11 months ago
• jailctf / pyjailbreaker
  Python sandbox escape wiki + payload generator
  ☆64Updated 2 months ago