2008 Research Summary - Security (SEC)

Large Projects

• A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections (ACCURATE)
  David Wagner and Deirdre Mulligan
• BitBlaze: Binary Analysis for COTS Protection and Malicious Code Defense (BitBlaze)
  Dawn Song
• Human Factors in Computer Security
  Doug Tygar
• ICAST
  Doug Tygar, S. Shankar Sastry, Joseph M. Hellerstein, Vern Paxson, John D. Kubiatowicz, David Wagner and Anthony D. Joseph
• Privacy in Sensor Webs
  Doug Tygar
• Software Security Project
  David Wagner

Small Projects

• Cryptographic Constructions for Secure, Privacy-Preserving Distributed Information Sharing (Seaglass)
  Dawn Song, John Bethencourt and Elaine Shi
• Security of Adaptive Systems (SecML)
  Marco Antonio Barreno, Blaine Alan Nelson, Benjamin I. P. Rubinstein, Anthony D. Joseph, Doug Tygar, Udam Saini, Kai Xia and Jack Chi
• SMT Solver for Security
  Susmit Kumar Jha and Sanjit A. Seshia