Original writeup (http://blog.squareroots.de/en/2012/01/mozillactf-write-up-buoy-250/).