https://github.com/ViRb3/z3-python-ctf

🐍 Solving CTF challenges using Z3 and Python
https://github.com/ViRb3/z3-python-ctf

algorithm ctf hackathon python reverse-engineering z3

Last synced: about 2 months ago
JSON representation

🐍 Solving CTF challenges using Z3 and Python

• Host: GitHub
• URL: https://github.com/ViRb3/z3-python-ctf
• Owner: ViRb3
• Created: 2019-10-14T00:46:19.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2023-06-14T19:41:02.000Z (over 1 year ago)
• Last Synced: 2024-06-08T00:34:46.879Z (3 months ago)
• Topics: algorithm, ctf, hackathon, python, reverse-engineering, z3
• Language: Python
• Homepage:
• Size: 299 KB
• Stars: 41
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-reversing - Learn z3

README

        
# Z3 Python CTF

Solving various CTF challenges using Z3 in Python.

## Intro

- ### [Z3 Basics](https://ericpony.github.io/z3py-tutorial/guide-examples.htm)

- ### [Z3 Advanced](https://ericpony.github.io/z3py-tutorial/advanced-examples.htm)

- ### [Cheatsheet](./CHEATSHEET.md)

## Examples

- ### [Sonda](sonda)

- ### [Lock code](lock-code)

- ### [Custom Crypto](https://github.com/ViRb3/pwnEd-ctf/blob/master/customcrypto)

- ### [MathGenMe](https://github.com/ViRb3/pwnEd-ctf/blob/master/mathgenme)

- ### [server](server)

- ### [sweet](sweet)