Protocol eXchange Meeting - October 2007

 

 

Protocol eXchange Seminar

University of Maryland Baltimore County

RM 325B Information Technology/Engineering (UMBC Blg 19)

October 26, 2007

Organized by Ed Zieglar

 

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