Digital Naïve · Sep 20, 2019
MRMCD CTF 2019: Solving "Flag Checker" with style
0Sign in to vote or save
This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
This is a writeup of this year’s MRMCD CTF challenge “Flag Checker”, which I solved by hand while wondering how to let a computer solve this more elegantly. I thought about using Prolog until jn suggested using Z3, which I want to demonstrate in this post. Essentially, the challenge was made up of to these JavaScript functions: function isFlagCorrect(flag) { if (hash(flag.length) != 1801011984)…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.