Protocol eXchange Meeting - September 2004
Protocol eXchange Seminar
University of Maryland Baltimore County
RM 325B Information Technology/Engineering (UMBC Blg 19)
September 21-22, 2004
TUESDAY September 22, 2004
| 10:00 - 11:00 | Programming Cryptographic Protocols [pdf] Joshua Guttman (MITRE) |
| 11:00 - 11:10 | Break |
| 11:10 - 12:10 | Universally Composable Symbolic Analysis of Cryptographic Protocols [pdf] Jonathan Herzog (MITRE) |
| 12:10 - 13:30 | Lunch |
| 13:30 - 14:30 | Demo: The Maude/PVS Strand Space Project [pdf] Carolyn Talcott (SRI) |
| 14:30 - 14:45 | Break |
| 14:45 - 15:45 | Soundness and Completeness of Formal Logics of Symmetric Encryption [pdf] Gergei Bana (UPenn) |
| 15:45 - 16:00 | Break |
| 16:00 - 17:00 | Demo: Maude Implementation of MSR [pdf] Iliano Cervesato (ITT) |
WEDNESDAY May 22, 2004
| 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] Paul Syverson (NRL) |
| 12:15 - 12:20 | Wrap-up |
| 12:20 - 14:00 | Lunch |
Presentations collected by Iliano Cervesato