Visible to the public 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

NSF/IARPA/NSA Workshop on the Science of Security Agenda
Switch to experimental viewer