Protocol eXchange Meeting - May 2004
Protocol eXchange Seminar
University of Maryland Baltimore County
RM 325B Information Technology/Engineering (UMBC Blg 19)
May 27-28, 2004
THURSDAY May 27, 2004
| 10:00 - 10:45 | Context Binding: an Emerging Problem in Cryptographic Protocols [pdf] Cathy Meadows (NRL) |
| 10:45 - 11:15 | Open Discussion: Problems in Wireless Security Lead by Ed Zieglar (NSA) |
| 11:15 - 11:25 | Break |
| 11:25 - 12:10 | Computational and Information-Theoretic Soundness and Completeness of the Expanded Logics of Formal Encryption [pdf] Gergei Bana (UPenn) |
| 12:10 - 13:45 | Lunch |
| 13:45 - 14:30 | The Shape of Bundles - Part I [pdf] Javier Thayer (MITRE) |
| 14:30 - 15:15 | The Shape of Bundles - Part II [pdf] Joshua Guttman (MITRE) |
| 15:15 - 15:30 | Break |
| 15:15 - 16:00 | Demo: The Protocol Derivation Assistant Dusko Pavlovic (Kestrel) |
FRIDAY May 28, 2004
| 10:15 - 11:00 | MSR 3: One Year Later [pdf] Iliano Cervesato (ITT) |
| 11:00 - 12:00 | Demo: Maude/Strand Space Protocol Analysis [pdf] Sylvan Pinsky (NSA) |
| 12:00 - 12:10 | Break |
| 12:10 - 13:00 | (Further) Towards Computational Soundness for the Dolev-Yao Model [pdf] Jonathan Herzog (MITRE) |
| 13:00 - 13:05 | Wrap-up |
| 13:05 - 14:00 | Lunch |
Presentations collected by Iliano Cervesato