Fall 2009 Protocol eXchange Meeting

Here are pointers to the slides presented at the Fall 2009 Protocol eXchange workshop held at the National Cryptologic Museum at Fort Meade, MD, Oct 7-8 2009.

• The Agenda can be found here.
• Josh Guttman presented work on Goal-Preserving Transformations
• Cathy Meadows present work on Composition in the Maude-NPA Protocol Model (Work in Progress). The slides are currently not available.
• Anduo Wang presented work on Formally Verifiable Networking
• Santiago Escobar presented work on Homomorphic Encryption in Maude-NPA
• Aaron Jaggard presented work on Refining Computationally Sound Mechanized Proofs for Kerberos
• John Ramsdell presented work on Implementing Strand Space Algebras
• Carolyn Talcott discussed implementing CPSA in Maude