Original writeup (http://hexpresso.wordpress.com/2013/06/10/bkp-ctf-2013-randy-write-up/).