| 10:00 - 10:45 | Context Binding: an Emerging Problem in Cryptographic Protocols
[ppt]
Cathy Meadows (NRL) |
| 10:45 - 11:15 | Open Discussion:
Problems in Wireless Security
|
| 11:15 - 11:25 | Break
|
| 11:25 - 12:10 | Computational and Information-Theoretic Soundness and Completeness of the
Expanded Logics of Formal Encryption
[ppt]
Gergei Bana (UPenn) |
| 12:10 - 1:45 | Lunch
|
| 1:45 - 2:30 | The Shape of Bundles - Part I
[pdf]
Javier Thayer (MITRE) |
| 2:30 - 3:15 | The Shape of Bundles - Part II
[advi,
pdf]
Joshua Guttman (MITRE) |
| 3:15 - 3:30 | Break
|
| 3:15 - 4:00 | Demo: The Protocol Derivation Assistant
Dusko Pavlovic (Kestrel) |
| 10:15 - 11:00 | MSR 3: One Year Later
[ppt]
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 - 2:00 | Lunch |