| 8:30 |
Breakfast |
|
| 8:45 |
John Mitchell (Stanford):
Project Overview
(ps,
ppt)
|
|
| 9:00 |
Security and Cryptography |
|
John Mitchell (Stanford):
Overview
(ps,
ppt)
|
|
Cynthia Dwork (IBM):
Magic functions
|
|
Vitaly Shmatikov (Stanford):
Breaking and Fixing the Abuse-Free Contract Signing Protocol
(ps,
ppt)
|
|
Patrick Lincoln (SRI):
A Linear Framework for Protocol Analysis
(ps,
ppt)
|
|
Andre Scedrov (Penn):
Probabilistic Poly-Time Analysis
(ps,
ppt)
|
|
Andre Scedrov (Penn):
Summary and future work
|
|
| 10:40 |
Break |
|
| 11:00 |
Run-time correctness assurance |
|
Insup Lee (Penn):
Overview
(ps,
ppt)
|
|
Moonjoo Kim (Penn):
Instrumentation
(ps,
ppt)
|
|
Oleg Sokolsky (Penn):
Steering
(ps,
ppt)
|
|
Diana Gordon (NRL):
Simulations
(ps,
ppt)
|
|
Mahesh Viswanathan (Penn):
Demo: MaC framework
|
|
Insup Lee (Penn):
Summary and future work
|
|
| 12:10 |
Lunch |
|
| 1:10 |
Checking delegated computation
(ps,
ppt)
|
|
Patrich Lincoln (SRI):
Overview
|
|
Ronitt Rubinfeld (Cornell):
Approximate checking
|
|
Sampath Kannan (Penn):
Checking Properties of Data Streams
|
|
Patrick Lincoln (SRI):
Summary and future work
|
|
| 2:15 |
John Mitchell (Stanford):
Student summary and future directions
(ps,
ppt)
|
|
| 2:35 |
Break |
|
| 2:45 |
Board Caucus |
| 3:30 |
Concluding Discussion |
| 4:00 |
End of MURI board meeting |
