NSF/IARPA/NSA Workshop on the Science of Security Agenda
NSF/IARPA/NSA Workshop on the Science of Security - Program Agenda
Sunday, 16 November | |
---|---|
1800 | Reception at Claremont |
2000 | Adjourn for the day |
Monday, 17 November | |
0830 | Breakfast |
0900 | Welcome Karl Levitt, National Science Foundation Lisa Porter, Director, Intelligence Advanced Research Projects Activity Frederick Chang, University of Texas at Austin and former Director of Research, National Security Agency |
0930 | Keynote talk: Agenda for a Science of Security Fred B. Schneider, Department of Computer Science, Cornell University |
1030 | Break |
1100 | Panel: Is there a science of security (and if so, what might it look like)? Moderator: Carl Landwehr, IARPA Panelists: Anupam Datta, Carnegie Mellon University Joshua Guttman, MITRE Michael Reiter, University of North Carolina |
Noon | Lunch |
1330 | Panel: What can we learn from other fields? Moderator: Cliff Wang, ARO Panelists: Stephanie Forrest, University of New Mexico Alfred Hero, University of Michigan Stuart Russell, University of California, Berkeley |
1430 | Discussion |
1445 | Break |
1500 | Breakout group discussions: What can we learn from other fields?(Leader Pierre Moulin, UIUC) How can we design systems with known security properties? (Leader Rebecca Wright, Rutgers University) Is there a scientific way to measure security? (Leader Shouhuai Xu, University of Texas at San Antonio) |
1630 | Reconvene for breakout group reports, discussion |
1700 | Formal program adjourned for the day |
1800 | Meet in Claremont Lobby to go to workshop dinner at Garibaldis Restaurant (5356 College Ave.) |
Tuesday, November 18 | |
0830 | Breakfast |
0900 | Frederick Chang, University of Texas at Austin and former Director of Research, National Security Agency |
0930 | Panel: How can we reason about impossible things? Moderator: Robert Herklotz, AFOSR Panelists: Byron Cook, Microsoft Research Cambridge/Cambridge University Hal Varian, University of California, Berkeley/Google Chief Economist |
1030 | Break |
1045 | John Doyle, Professor of Control & Dynamical Systems, Electrical Engineering and BioEngineering, California Institute of Technology |
1130 | Panel: Are scientific experiments in security possible? Moderator: Karl Levitt Panelists: Roy Maxion, Carnegie Mellon University John Mitchell, Stanford University Vicraj Thomas, BBN Technologies |
1230 | Lunch |
1330 | Breakout discussions Complexity (Leader: Sampath Kannan, NSF) Experimentation (Leader: Karl Levitt, NSF) Composition (Leader: John Rushby, SRI) |
1430 | Summary discussion |
1500 | Break |
1515 | Breakout discussions Questions and Promising Approaches for a Science of Security |
1615 | Discussion, wrap–up |
License:
Creative Commons 2.5 PDF document
- 101.95 KB
- 212 downloads
- Download
- PDF version
- Printer-friendly version