Original writeup (http://blog.squareroots.de/en/2012/11/ructfe-2012-write-up-buster/).