| 10:00 - 11:00 | Programming Cryptographic Protocols
[pdf,
advi]
Joshua Guttman (MITRE) |
| 11:00 - 11:10 | Break
|
| 11:10 - 12:10 | Universally Composable Symbolic Analysis of Cryptographic Protocols
[ppt]
Jonathan Herzog (MITRE) |
| 12:10 - 1:30 | Lunch
|
| 1:30 - 2:30 | Demo: The Maude/PVS Strand Space Project
[ppt]
Carolyn Talcott (SRI) |
| 2:30 - 2:45 | Break
|
| 2:45 - 3:45 | Soundness and Completeness of Formal Logics of Symmetric Encryption
[pdf,
ppt]
Gergei Bana (UPenn) |
| 3:45 - 4:00 | Break
|
| 4:00 - 4:00 | Demo: Maude Implementation of MSR
[ppt]
Iliano Cervesato (ITT) |
| 10:00 - 11:00 | Working session: Protocol Modeling Approaches and Algorithms
Jonathan Herzog (MITRE) and Carolyn Talcott (SRI) |
| 11:00 - 11:15 | Break
|
| 11:15 - 12:15 | Design and Status of the NRL Onion Routing System
[pdf,
sxi]
Paul Syverson (NRL) |
| 12:15 - 12:20 | Wrap-up
|
| 12:20 - 2:00 | Lunch |