Protocol eXchange Meeting - October 2009
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
October 7-8, 2009
Wednesday, October 7th
| 08:50 - 09:00 | Welcome |
| 09:00 - 09:55 | Goal-Preserving Transformations [pdf] Joshua Guttman (WPI/MITRE) |
| 10:00 - 10:55 | Composition in the Maude-NPA Protocol Model (Work in Progress) Cathy Meadows (NRL) |
| 11:00 - 11:55 | Formally Verifiable Networking [pdf] Anduo Wang (University of Pennsylvania) |
| 12:00 - 14:00 | Lunch |
| 14:00 - 14:55 | Homomorphic Encryption in Maude-NPA [pdf] Santiago Escobar (Universidad Politecnica de Velencia) |
| 15:00 - 15:55 | Refining Computationally Sound Mechanized Proofs for Kerberos [pdf] Aaron Jaggard (University of Pennsylvania) |
Thursday, October 8th
| 09:00 - 09:55 | Implementing Strand Space Algebras [pdf] John Ramsdell (MITRE) |
| 10:00 - 12:00 | Open Discussion on the Maude CPSA Specification |
| 12:00 - 14:00 | Lunch |
| 14:00 - 16:00 | Tour of the Museum |
Presentations collected by George Dinolt