Original writeup (http://int3pids.blogspot.nl/2013/04/plaidctf-2013-kavihk-binary-400-write-up.html).