Protocol eXchange Meeting - October 2007
Protocol eXchange Seminar
University of Maryland Baltimore County
RM 325B Information Technology/Engineering (UMBC Blg 19)
October 26, 2007
09:00 - 09:10 | Welcome |
09:10 - 10:05 | Flaws in Group Delegated Authentication Protocols [pdf] Ed Zieglar (NSA) |
10:05 - 11:00 | Combining (and Refining) Protocols using the Authentication Tests [pdf] Joshua Guttman (MITRE) |
11:00 - 11:10 | Break |
11:10 - 12:05 | A Formal Analysis of Onion Routing [pdf] Aaron Johnson (Yale University) |
12:05 - 13:30 | Lunch |
13:30 - 14:25 | Maude Semantics for Toolip [pdf] Carolyn Talcott (SRI) |
14:25 - 15:20 | Maude-NPA: Status and Demonstration [pdf] Cathy Meadows (NRL) |
15:20 - 15:30 | Break |
15:30 - 16:25 | Mechanized Security Proofs of Kerberos [pdf] Joe-Kai Tsay (University of Pennsylvania) |
16:25 - 16:30 | Wrap-up |
Presentations collected by George Dinolt