💻📡🛰️ IooNagI've just finished the CTF teaser from @grehackconf and it was fun 😀 (https://x.com/GrehackConf/status/1819282540965875995). A little bit of "guessing" in some challenges like `Remote AES`, but it was still fun to play.
Here is how I solved all the challenges of the @grehackconf CTF teaser, using Python and Z3: https://gist.github.com/fishilico/0b69a267b73111860fe5ac668a94df2e
