Alternatives and similar repositories for learn-z3

Users that are interested in learn-z3 are comparing it to the libraries listed below

• PwnFunction / v8-randomness-predictor
  Using z3 to predict `Math.random` in v8
  ☆324Updated 3 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 3 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆44Updated last week
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆222Updated 3 years ago
• redpwn / rctf
  redpwn's CTF platform
  ☆274Updated 9 months ago
• hofill / AES-CTF-Tool
  ☆45Updated 2 years ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆41Updated last year
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆426Updated 11 months ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆239Updated 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
  ☆95Updated 4 years ago
• CameronLonsdale / MTP
  Many-Time Pad Interactive
  ☆178Updated last year
• kammt / MemeAssembly
  A Meme-based programming language
  ☆71Updated 4 months ago
• HHousen / PicoCTF-2021
  Hayden Housen's solutions to the 2021 PicoCTF Competition
  ☆57Updated 2 years ago
• LiveOverflow / minecraft-hacked
  Minecraft:Hacked is a video series exploring various technical areas of Minecraft.
  ☆217Updated 2 years ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆28Updated 2 years ago
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆139Updated 9 months ago
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆13Updated 3 weeks ago
• jonmest / How-To-Tamper-With-Any-Electron-Application
  This work-in-progress outlines known vulnerabilities in the Electron framework, and how they may be abused to create dangerous exploits.
  ☆93Updated last year
• LiveOverflow / log4shell
  Small example repo for looking into log4j CVE-2021-44228
  ☆71Updated 3 years ago
• OpenAttackDefenseTools / ataka
  Runs exploits, fast.
  ☆105Updated last month
• mahaloz / ctf-wiki-en
  A full English version of the popular ctf-wiki
  ☆104Updated last year
• SinaKhalili / Folders.py
  Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.
  ☆449Updated 3 years ago
• nneonneo / ghidra-rickroll
  Get rickrolled, right in your favourite NSA reverse engineering tool
  ☆77Updated 2 years ago
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆87Updated 2 years ago
• kmyk / mersenne-twister-predictor
  Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.
  ☆193Updated 4 years ago
• StroppaFR / mathrandomcrack
  Cracking V8 Math.random() from arbitrary bit leaks
  ☆33Updated last month
• lactf / lactf-platform
  Platform for LA CTF. Forked from redpwn/rctf.
  ☆11Updated this week
• d0nutptr / v8_rand_buster
  ☆75Updated 5 years ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆172Updated 2 years ago
• TJCSec / klodd
  CTF challenge per-team instance runner
  ☆37Updated 3 weeks ago