Science of Security Quarterly Lablet PI Meeting

July 1-2, 2014 | Gates Hillman Center, Room 4405

Day 1: July 1, 2014: 

8:30 a.m. - 9:00 a.m.     Breakfast

9:00 a.m. - 9:45 a.m.   Welcome and Introductions

CMU welcome and introduction, agenda, logistics (15 min)

NSA welcome and introduction: Kathy Bogner and Grant Wagner (15 min)

Attendee introductions (15 min)

9:45 a.m. - 10:30 a.m.   Lablet Summaries (session 1)

North Carolina State University: Laurie Williams  (45 min)

10:30 a.m. - 10:45 a.m.  Break

10:45 a.m. - 12:15 p.m.  Lablet Summaries (session 2)

    University of Maryland: Jonathan Katz (45 min)

    Carnegie Mellon University: William Scherlis (45 min)

12:15 p.m. - 1:00 p.m.  Lunch

1:00 p.m. - 2:00 p.m.  Technical Talks (session 1)

Lindsey McGowen (NCSU), Evaluating the Development of a Science of Security: A Plan for Measuring and Demonstrating Lablet Contributions (30 min)

Travis Breaux (CMU), Grounded Analysis to Discover Composable Security Models (30 min)

2:00 p.m. - 4:00 p.m.  Parallel sessions

Technical Team:  The SoS value proposition: (1) Content: Hard Problems update, (2) Modalities: Lablet conops, (3) Results:    Kinds of evidence

Business Team (Rm 4405): 

Stephanie Yannacci, Review of Business Requirements for Business Managers (60 min) Limited Access

Katie Dey (Vanderbilt), Quarterly Reporting Tool demo and discussion (60 min) Limited Access

4:30 p.m. - 5:30 p.m.     Poster and Demo session

   Note: Closed session for PI's and PM's (4:00 - 5:00 p.m.)

   
Day 2:  July 2, 2014:

8:30 a.m. - 9:00 a.m.      Breakfast

9:00 a.m. - 10:00 a.m.   Technical Talks (session 2)

Sean Weaver (NSA), Let Them Ask Questions: Interpreters, Symbolic Simulation, and SAT :: Cryptol (60 min) LIVE DEMO Contact the Presenter for Artifacts

10:00 a.m. - 10:45 a.m.  Lablet Summaries (session 3)

University of Illinois, Urbana-Champaign: David Nicol (45 min)

10:45 a.m. - 11:15 a.m.  Break

11:15 a.m. - 12:15 p.m.  Technical Talks (session 3)

    Adam Aviv (UMD, USNA), Measuring Visual Perceptions of Security in Graphical Passwords (30 min)

    Bill Sanders (UIUC), Making Sound Design Decisions Using Quantitative Security Metrics (30 min)

12:15 p.m. - 1:00 p.m.    Lunch

1:00 p.m. - 1:30 p.m.      Science of Security VO Demo

    Katie Dey (Vanderbilt)  Quarterly Reporting Tool (30 min)

1:30 p.m. - 2:30 p.m.      Workshop report-out and discussion

2:30 p.m. - 3:00 p.m.      Summary and plans

3:00 p.m.                         Adjourn