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
  ☆303Updated 2 years ago
• LiveOverflow / security-research
  Security Research
  ☆39Updated 2 years ago
• hofill / AES-CTF-Tool
  ☆45Updated last year
• Et3rnos / ImaginaryCTF
  ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day
  ☆43Updated last month
• d0nutptr / v8_rand_buster
  ☆72Updated 5 years ago
• 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
  ☆86Updated 4 years ago
• cryptohack / ctf_archive
  Hosting awesome cryptography CTF challenges from past CTFs
  ☆118Updated last week
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆37Updated 8 months ago
• cryptohack / cryptohack-docker
  Docker image for attacking cryptography CTF challenges
  ☆101Updated last year
• kmyk / mersenne-twister-predictor
  Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.
  ☆187Updated 4 years ago
• orisano / owiener
  A Python3 implementation of the Wiener attack on RSA
  ☆119Updated last year
• sigpwny / ctfd2pages
  A tool to easily archive CTFd sites to GitHub Pages
  ☆34Updated 4 months ago
• HHousen / PicoCTF-2021
  Hayden Housen's solutions to the 2021 PicoCTF Competition
  ☆55Updated last year
• skyf0l / CTF
  Some wrrite-ups
  ☆18Updated 4 months ago
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆132Updated 2 years ago
• deut-erium / RNGeesus
  SMT based attacks on non cryptographic PRNGs
  ☆81Updated 2 years ago
• tna0y / Python-random-module-cracker
  Predict python's random module generated values.
  ☆412Updated 6 months ago
• NUSGreyhats / greyctf23-challs-public
  ☆37Updated last year
• cryptohack / CryptoBook
  A community driven resource for learning CryptoGraphy
  ☆65Updated 2 years ago
• elliptic-shiho / primefac-fork
  a fork of primefac(https://pypi.python.org/pypi/primefac) module
  ☆84Updated 11 months ago
• DownUnderCTF / Challenges_2023_Public
  Files + Writeups for DownUnderCTF 2023 Challenges
  ☆170Updated last year
• JorianWoltjer / practical-ctf
  Gitbook: A big collection of my notes for Capture The Flag (CTF) challenges or Hacking in general
  ☆30Updated last week
• pepsipu / aski
  Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…
  ☆24Updated 4 years ago
• LiveOverflow / pwnedit
  CVE-2021-3156 - Sudo Baron Samedit
  ☆221Updated 3 years ago
• StroppaFR / mathrandomcrack
  Cracking V8 Math.random() from arbitrary bit leaks
  ☆17Updated last year
• ky28059 / bctf
  The updated website for b01lers CTF!
  ☆12Updated last month
• PwnFunction / Next.js-Flat-Prototype-Pollution
  Prototype Pollution using `flat` with Next.js
  ☆104Updated last month
• anneouyang / MT19937
  Implementing and breaking the MT19937 Mersenne Twister pseudorandom number generator
  ☆28Updated 5 years ago
• PoustouFlan / SUnbox
  An open-source SBox analysis utility
  ☆14Updated 3 months ago
• justcatthefish / ctf-writeups
  CTF write-ups
  ☆86Updated 6 months ago