Protocol eXchange Meeting - June 2005
Protocol eXchange SeminarUniversity of Maryland Baltimore County
|
THURSDAY June 9, 2005
| 10:00 - 11:15 | Working session: Tool Convergence Meeting (SRI, Kestrel, MITRE, NSA) |
| 11:15 - 12:00 | Status of PVS+Maude [pdf] Carolyn Talcott (SRI) |
| 12:00 - 13:00 | Lunch |
| 13:00 - 13:45 | Protocol Design, or: What Dusko's been Taking about all this Time [pdf] Joshua Guttman (MITRE) |
| 13:45 - 14:30 | Soundness of Formal Encryption in the Presence of Key Cycles [pdf] Gergei Bana (UPenn) |
| 14:30 - 14:45 | Break |
| 14:45 - 15:30 | Deriving Secrecy in Key Establishment Protocols [pdf] Dusko Pavlovic (Kestrel) |
| 15:30 - 16:15 | An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols [pdf] Iliano Cervesato (Tulane) |
| 16:15 - 16:30 | Break |
| 16:30 - 17:15 | High-Power Proxies for Enhancing RFID Privacy and Utility [pdf] Paul Syverson (NRL) |
FRIDAY June 10, 2005
| 10:00 - 10:45 | Discovery and Traversal of Security Gateways [pdf] Alwyn Goodloe (UPenn) |
| 10:45 - 11:30 | Current Work on the NRL Protocol Tool [pdf] Santiago Escobar (UIUC) |
| 11:30 - 12:30 | Lunch |
| 12:30 - 13:15 | Thoughts on the Formal Modeling of Security of Sensor Networks [pdf] Cathy Meadows (NRL) |
| 13:15 - 13:30 | Wrap-up |
Presentations collected by Iliano Cervesato