JASON 2010 Summer Study
Date: Jun 28, 2010 8:00 pm – Jun 30, 2010 4:00 pm
JASON 2010 Summer Study on the Science of Cybersecurity
Program Agenda
Download the final workshop report.
Monday, 28 June
Fundamental Problem and Background
0900
Introduction - JASONs
Professor Dan Meiron
Dr. Peter Weinberger
0915
Cyber Security — Is Science Possible?
Dr. Steven King
1015
Towards a Science of Security
Professor Fred Schneider
1115
Break
1130
Science of Security — A Formal Perspective
Dr. John McLean
1230
Lunch
Selected Approaches and Topics
1330
Science of Security — A Biological Perspective
Professor Stephanie Forrest
1430
NSA Perspective on Science of Security
Grant Wagner
Bob Meushaw
1530
Break
1545
Current Cyber Threats (SCI Classified)
Dr. Kamal Jabbour
1645
Adjourn for the day
Tuesday, 29 June
Selected Approaches and Topics
0900
Science of Security - Perspectives from Cryptography
Professor Ron Rivest
1000
Science of Security — A DARPA Perspective
Dr. Peter Lee
1100
Break
1115
Security Modeling and Analysis
Professor John Mitchell
1215
Lunch
1315
Science of Security and Game Theory
Professor Jeff Shamma
1415
Science of Security — From Engineering to Science
Dr. Carl Landwehr
1515
Break
1530
Science of Security — Practice in the Information Marketplace
John Manferdelli
1630
Adjourn for the day
Wednesday, 30 June
Selected Approaches and Topics
0900
Science of Security — Hardware Perspective
Professor Milo Martin
1000
Science of Security — Protocol Analysis
Dr. Gerard Holzmann
1115
Science of Security and Economics
Professor John Chuang
1215
Lunch
Experimentation, Economics, and Science in Development
1315
Science of Security and Experimentation
Professor Roy Maxion
1415
Science of Security — Network Theory
Professor Stefan Savage
1515
Break
1530
Science of Security — Philosophical Perspectives
Professor Peter Galison
1630
Wrap-up
1700
Meeting Adjourned
Submitted by Katie Dey
on
Date: Jun 28, 2010 8:00 pm – Jun 30, 2010 4:00 pm
JASON 2010 Summer Study on the Science of Cybersecurity
Program Agenda
Download the final workshop report.
Monday, 28 June | |
---|---|
Fundamental Problem and Background | |
0900 | Introduction - JASONs Professor Dan Meiron Dr. Peter Weinberger |
0915 | Cyber Security — Is Science Possible? Dr. Steven King |
1015 | Towards a Science of Security Professor Fred Schneider |
1115 | Break |
1130 | Science of Security — A Formal Perspective Dr. John McLean |
1230 | Lunch |
Selected Approaches and Topics | |
1330 | Science of Security — A Biological Perspective Professor Stephanie Forrest |
1430 | NSA Perspective on Science of Security Grant Wagner Bob Meushaw |
1530 | Break |
1545 | Current Cyber Threats (SCI Classified) Dr. Kamal Jabbour |
1645 | Adjourn for the day |
Tuesday, 29 June | |
Selected Approaches and Topics | |
0900 | Science of Security - Perspectives from Cryptography Professor Ron Rivest |
1000 | Science of Security — A DARPA Perspective Dr. Peter Lee |
1100 | Break |
1115 | Security Modeling and Analysis Professor John Mitchell |
1215 | Lunch |
1315 | Science of Security and Game Theory Professor Jeff Shamma |
1415 | Science of Security — From Engineering to Science Dr. Carl Landwehr |
1515 | Break |
1530 | Science of Security — Practice in the Information Marketplace John Manferdelli |
1630 | Adjourn for the day |
Wednesday, 30 June | |
Selected Approaches and Topics | |
0900 | Science of Security — Hardware Perspective Professor Milo Martin |
1000 | Science of Security — Protocol Analysis Dr. Gerard Holzmann |
1115 | Science of Security and Economics Professor John Chuang |
1215 | Lunch |
Experimentation, Economics, and Science in Development | |
1315 | Science of Security and Experimentation Professor Roy Maxion |
1415 | Science of Security — Network Theory Professor Stefan Savage |
1515 | Break |
1530 | Science of Security — Philosophical Perspectives Professor Peter Galison |
1630 | Wrap-up |
1700 | Meeting Adjourned |
Submitted by Katie Dey
on