Protocol eXchange Meeting - May 2007

 

 

Protocol eXchange

SRI International

Arlington, VA

May 7, 2007

Organized by Sylvan Pinsky and Ed Zieglar

Special Thanks to Carolyn Talcott for providing the venue.

 

09:00 - 09:10 Welcome

 
09:10 - 10:05 Reimplementing the Cryptographic Protocol Shape Analyzer: Varying the Message Algebra [pdf]

Joshua Guttman (MITRE)

 
10:05 - 11:00 An Evaluation Methodology for Protocol Analysis Systems [pdf]

Chris W. Hoffmeister (US Navy)

 
11:00 - 11:10 Break

 
11:10 - 12:05 Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer [pdf]

Santiago Escobar (Universidad Politecnica de Velencia)

 
12:05 - 13:20 Lunch

 
13:20 - 14:15 Collaborative Planning with Privacy [pdf]

Paul Rowe (University of Pennsylvania)

 
14:15 - 15:10 First Steps in Integrating Maude-NPA with CPSA [pdf]

Cathy Meadows (NRL)
15:10 - 15:30 Wrap-up

 
Presentations collected by George Dinolt