ancat
I am an cat
Home
Github
Twitter
About
z3 for CTF
02 Mar 2014
Practice Challenges
HSVM sum challenge
pCTF 2013 “cone” challenge
CSAW 2013 reversing 300
Resources/Writeups
Eindbazen “cone”
writeup
Rolf Rolle’s
z3 based solution
to some math problem
SMT Solvers for Software Security
Related Posts
Rapidly Building and Testing Different Kernels
21 May 2021
Adventures in Hooking Process and Thread Spawn Events
20 May 2021
Exploiting CVE-2019-5736 to Escalate Privileges
16 Feb 2019