#z3 CTF challenges

21 CTF challenges using z3 from 15 CTFs (2020–2025), 21 with writeups. Mostly Reverse (71%) and Crypto (24%).

Reverse · 15 Crypto · 5 Misc · 1

Often combined with

#reversing 4 #constraint-solving 4 #state-recovery 2 #lfsr 2 #matrix 1 #rust-type-system 1 #regex-constraints 1 #grub-cfg 1 #bytecode-reversing 1 #custom-vm 1 #self-unpacking 1 #css-cipher 1 #hash-collision 1 #murmurhash3 1 #webassembly 1

Challenges

Filter and sort these in the challenge browser →