The poster presentations will be held 10:00 a.m. - 10:45 a.m. and 2:45 p.m. to 3:30 p.m. on Thursday, May 8, in the atrium of the Governor Calvert House.  

• Perry Alexander, University of Kansas
  ArmoredSoftware: Trust in the Cloud
   
• Paul E. Black, NIST
  Toward Precise and Accurate Descriptions of Weaknesses
   
• Donald Goff, Cyber Pack Ventures
  Advancing Research in Security Science: Science of Security Effort
   
• Joseph Kiniry, Galois, inc.
  Cryptol version 2: An Open Source Cryptol
   
• Kevin Krause, University of Idaho
  An Overview of an ACL2 Prototype C Integer Type Safety Verification Tool
   
• Rick Kuhn, NIST
  Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report
   
• Heather Lucas, NSA
  Science of Security Virtual Organization (SoS VO)
   
• Kenneth Roe, The Johns Hopkins University
  Using Coq to Verify the DPLL algorithm
   
• Lucas Wagner, Rockwell Collins
  Specification and Analysis of Requirements (SpeAR) Tool
   
• Wei Yang, University of Illinois at Urbana-Champaign
  Towards Improving Mobile Application Security by Enhancing User Perceptions of Application Behaviors