Original writeup (http://blog.squareroots.de/en/2012/01/mozillactf-write-up-kill-the-kraken-200/).