Original writeup (http://www.bases-hacking.org/ropasaurusrex-pctf2013.html).