Solutions to challenges from Defcon CTF 2012