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
  ☆292Updated 2 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 2 years ago
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆32Updated 2 months ago
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆35Updated 6 months ago
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆113Updated 3 months ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆221Updated 3 years ago
• stong / ctf_clusters
  visualizing CTF clusters (teams playing together at DEFCON)
  ☆27Updated 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
  ☆79Updated 4 years ago
• hofill / AES-CTF-Tool
  ☆44Updated last year
• OpenAttackDefenseTools / ataka
  Runs exploits, fast.
  ☆82Updated 9 months ago
• kmyk / mersenne-twister-predictor
  Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.
  ☆179Updated 4 years ago
• uclaacm / lactf-archive
  An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.
  ☆135Updated 2 months ago
• Nissen96 / USB-HID-decoders
  ☆24Updated 6 months ago
• d0nutptr / v8_rand_buster
  ☆69Updated 5 years ago
• Hedroed / png-parser
  Analyse PNG file format for CTF, python API and CLI
  ☆98Updated 2 years ago
• mahaloz / ike
  'Ike: A binary exploitation and reversing handbook.
  ☆75Updated 3 months ago
• redpwn / jail
  An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.
  ☆195Updated 9 months ago
• kalmarunionenctf / kalmarctf
  Challenge source code and author write-ups for KalmarCTF
  ☆65Updated last month
• salvatore-abello / python-ctf-cheatsheet
  Cheatsheet useful for solving Python-related challenges during CTFs.
  ☆72Updated this week
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆12Updated last week
• SecurityValley / PublicCTFChallenges
  Hosted challenges for our CTF events
  ☆14Updated last year
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆80Updated 2 years ago
• TeamItaly / TeamItalyCTF-2022
  Source code and documentation for TeamItaly CTF 2022 challenges
  ☆40Updated last year
• NUSGreyhats / greyctf23-challs-public
  ☆36Updated last year
• ECSC2024 / openECSC-2024
  Source code of the challenges developed for the 2024 edition of openECSC
  ☆71Updated 6 months ago
• cryptohack / cryptohack-docker
  Docker image for attacking cryptography CTF challenges
  ☆100Updated 11 months ago
• skyf0l / CTF
  Some wrrite-ups
  ☆18Updated last month
• orisano / owiener
  A Python3 implementation of the Wiener attack on RSA
  ☆118Updated 10 months ago
• sahuang / my-ctf-challenges
  Source code and solution of CTF challenges that I created.
  ☆46Updated 10 months ago
• cryptohack / CryptoBook
  A community driven resource for learning CryptoGraphy
  ☆64Updated 2 years ago