I really liked Flare11 aray challenge as a nice way to be solved with z3 - finally managed to record a video about that - https://youtu.be/kW8TyaBH5wI #flareon11 #ctfforbeginners #ctf
Intro to Z3 - Flare 11 - aray

YouTube
1753CTF - Fortune (REV/WEB)

YouTube
1753CTF - Luck (PWN)

YouTube
If someone prefers video - here's the first video tutorial - Free flag: https://youtu.be/73NTp2e3jNI #1753ctf #ctf #ctfforbeginners
1753CTF - Free Flag (WEB/CRYPTO)

YouTube