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 |
Tags:
License: Creative Commons 2.5
Submitted by Anonymous
on