| 8:15 |
Breakfast |
|
| 8:45 |
John Mitchell (Stanford):
Project Overview
(ps,
ppt)
|
|
| 9:00 |
Security and Cryptography |
|
Sampath Kannan (Penn):
Overview
(ps,
ppt)
|
|
Cynthia Dwork (Compaq):
Zaps
|
|
Sampath Kannan (Penn):
Oblivious transfers and public-key cryptosystems
(ps,
ppt)
|
|
Joseph Halpern (Cornell):
Resource-bounded knowledge and security
|
|
| 10:00 |
Break |
|
| 10:15 |
Jini Security |
|
John Mitchell (Stanford):
Overview
(ps,
ppt)
|
|
Ajay Chander (Stanford):
Jini Demo
|
|
S. Pinsky (NSA):
Noninterference and Jini
|
|
| 11:00 |
Break |
|
| 11:15 |
Networking and security
|
|
Andre Scedrov (Penn):
Overview
(ps,
ppt)
|
|
Sampath Kannan (Penn):
Contention-resolution protocols
(ps,
ppt)
|
|
Andre Scedrov (Penn):
Multiset rewriting, linear logic and strands
|
|
Nancy Durgin (Stanford):
Relating strand spaces
(ps,
ppt)
|
|
Ronitt Rubinfeld (Cornell):
Fast tests for the closeness of distributions
|
|
|
| 12:30 |
Lunch |
|
| 1:30 |
System correctness assurance
|
|
Insup Lee (Penn):
Overview
(ps,
ppt)
|
|
Moonjoo Kim (Penn):
MacsWare Release 0.99
(ps,
ppt)
|
|
Oleg Sokolsky (Penn):
Steering
(ps,
ppt)
|
|
Mahesh Viswanathan (Penn):
Network simulation checking
|
|
Maria Adamou (Penn):
Intrusion detection Using MaCS
(ps,
ppt)
|
|
Diana Gordon (NRL):
Re-verification for adaptive agents
(ps,
ppt)
|
|
Insup Lee (Penn):
Summary and future work
|
|
| 2:45 |
Break |
|
| 3:00 |
Board Caucus |
| 3:30 |
Concluding Discussion |
| 3:45 |
End of MURI board meeting |
