The invited speakers focused on important security topics such as computational complexity, calculus and higher-order logic, behavior-based security, network forensics, and inside intruder attacks. Workshop attendees agreed that all the talks addressed issues of great interest.