1 Tools and techniques for understanding and defending real systems Jedidiah R. Crandall [email protected].