Writeups of how picoCTF 2013 problems were solved by us.