Presentation slides made at [ARMSec](http://armsec.org) (ALPHA) 2014 Security conference.