Z3 Python CTF

June 14, 2023 ยท View on GitHub

Solving various CTF challenges using Z3 in Python.

Intro

  • Z3 Basics

  • Z3 Advanced

  • Cheatsheet

Examples

  • Sonda

  • Lock code

  • Custom Crypto

  • MathGenMe

  • server

  • sweet

Contents

  1. 1Intro
  2. 1.1Z3 Basics
  3. 1.2Z3 Advanced
  4. 1.3Cheatsheet
  5. 2Examples
  6. 2.1Sonda
  7. 2.2Lock code
  8. 2.3Custom Crypto
  9. 2.4MathGenMe
  10. 2.5server
  11. 2.6sweet