Protocol eXchange Seminar

University of Maryland Baltimore County
RM 325B Information Technology/Engineering (UMBC Blg 19)
June 9-10, 2005

Organized by Sylvan Pinsky and Ed Zieglar
Andre's oysters at G&M


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 - 1:00 Lunch
 
1:00 - 1:45 Protocol Design, or: What Dusko's been Taking about all this Time [pdf, advi]
Joshua Guttman (MITRE)
 
1:45 - 2:30 Soundness of Formal Encryption in the Presence of Key Cycles [ppt]
Gergei Bana (UPenn)
 
2:30 - 2:45 Break
 
2:45 - 3:30 Deriving Secrecy in Key Establishment Protocols [pdf]
Dusko Pavlovic (Kestrel)
 
3:30 - 4:15 An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols [ppt]
Iliano Cervesato (Tulane)
 
4:15 - 4:30 Break
 
4:30 - 5:15 High-Power Proxies for Enhancing RFID Privacy and Utility [ppt]
Paul Syverson (NRL)
 

FRIDAY June 10, 2005

10:00 - 10:45 Discovery and Traversal of Security Gateways [ppt]
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 - 1:15 Thoughts on the Formal Modeling of Security of Sensor Networks [ppt]
Cathy Meadows (NRL)
 
1:15 - 1:30 Wrap-up
 

Maintained by ;