| 10:00 - 10:45 | Authentication tests
[ps,
pdf]
Joshua Guttman (MITRE) |
| 10:45 - 11:15 | Multiset Rewriting
[pdf]
Andre Scedrov (UPenn) |
| 11:15 - 11:30 | Break
|
| 11:30 - 12:00 | Protocols, Probability, Non-Standard Analysis
[see Linearization of bundles:
ps,
pdf]
Javier Thayer (MITRE) |
| 12:00 - 1:00 | Lunch
|
| 1:00 - 1:45 | Concurrent Logical Framework
[ppt]
MSR 3.0 [ppt] Iliano Cervesato (ITT) |
| 1:45 - 2:30 | Fault Trees/Type Confusion
[ppt]
Cathy Meadows (NRL) |
| 2:30 - 2:45 | Break
|
| 2:45 - 3:15 | BGP
[ppt]
Aaron Jaggard (UPenn) |
| 3:15 - 3:45 | Contract Signing
[ppt]
Rohit Chadha (UPenn) |