2013 IEEE 26th Computer Security Foundations Symposium