| 8:00-8:30 |
Breakfast at the meeting site |
| |
| 8:30-8:50 |
John Mitchell (Stanford):
Project Overview
(ps,
ppt)
|
| |
| 8:50-10:10 |
Program Monitoring and Checking |
| 8:50 |
Insup Lee (Penn):
Overview
(ps,
ppt)
|
| 9:05 |
Mahesh Viswanathan (Penn):
Monitoring and Checking Framework
(ps,
ppt)
|
| 9:20 |
Moonjoo Kim (Penn):
Monitoring and Checking - Demo
(ps,
ppt)
|
| 9:35 |
Diana Gordon (NRL):
Steering MAV Swarms
(ps,
ppt)
|
| 9:50 |
Oleg Sokolsky (Penn):
Steering MAV Swarms - Demo
(ps,
ppt)
|
| 10:05 |
Insup Lee (Penn):
Summary
|
| |
| 10:10-10:40 |
Coffee Break |
| |
| 10:40-12:00 |
Security Protocol Analysis |
| 10:40 |
John Mitchell (Stanford):
Overview
(ps,
ppt)
|
| 11:05 |
Vitaly Shmatikov (Stanford):
Model-Checking of Fair Exchange Protocols
(ps,
ppt)
|
| 11:20 |
Patrick Lincoln (SRI):
A Linear Framework for Protocol Analysis
(ps,
ppt)
|
| 11:40 |
Andre Scedrov (Penn):
Probabilistic Process Calculus and Authentication
(ps,
ppt)
|
| |
| 12:00-1:15 |
Lunch at the meeting site |
| |
| 1:15-2:15 |
Efficient Checking
(ps,
ppt)
|
| 1:15 |
Patrick Lincoln (SRI):
Mobile Code
(ps,
ppt)
|
| 1:35 |
Ronitt Rubinfeld (Cornell):
Faster and Simpler Probabilistically Checkable Proofs
(ps,
ppt)
|
| 1:55 |
Sampath Kannan (Penn):
Anomaly Detection in Large Data Sets
(ps,
ppt)
|
| |
| 2:15-3:00 |
Board Caucus |
| |
| 3:00-3:30 |
Discussion |
| |
| 3:30 |
End of meeting |
