Original writeup (https://h4des.org/blog/index.php?/archives/329-rwthctf-2012-ezpz-write-up.html).