Protocol eXchange Meeting - June 2009
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
June 17-18, 2009
Wednesday, June 17th
| 10:00 - 10:10 | Welcome |
| 10:10 - 12:00 | Toolip Meeting |
| 12:00 - 13:30 | Lunch |
| 13:30 - 16:00 | Discussions on Approaches to Teaching CPSA and Maude-NPA |
Thursday, June 18th
| 09:00 - 09:55 | Issues with Multiparty Authentication Ed Zieglar (NSA) |
| 10:00 - 10:55 | A Cryptographer's Garden of Equational Theories: Interesting Unification Problems from Cryptography Cathy Meadows (NRL) |
| 11:00 - 11:55 | Preserving Security Goals under Cryptographic Protocol Transformations Joshua Guttman (MITRE) |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:25 | Policy Compliance, Confidentiality and Complexity in Collaborative Systems Paul Rowe (University of Pennsylvania) |
| 14:25 - 14:45 | Wrap-up |