The following presentations were given at the Colloquium on Future Directions in Cyber Security on November 7, 2011.
DARPA Cyber Analytical Framework (Kaufman)
If You Don't Like the Game, Hack the Playbook... (Zatko)
Scaling Cyberwarfare (Roelker)
High Assurance Systems (Fisher)
Moving Anti-Malware Research Forward (Fraser)
PROCEED and Crowd-sourced Formal Verification (Dean)
National Cyber Range (Ranka)
Beyond passwords (Guidorizzi)
Scalable Cyber Deception (Ragsdale)
Anomaly Detection at Multiple Scales (Waltzman)
Secure Computer Systems (Shrobe)