Protocol eXchange Meeting - August 2012
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
August 1-2, 2012
Wednesday, August 1st
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | Generalized Constraints in CPSA Moses Liskov (MITRE) |
| 10:00 - 11:00 | Group Protocols in Maude-NPA: the Group Diffie-Hellman Protocol Cathy Meadows (NRL) |
| 11:00 - 11:15 | Break |
| 11:15 - 12:15 | State and Protocols: The Envelope Example Joshua Guttman (Worcester Polytechnic Institute) |
| 12:15 - 14:00 | Lunch |
| 14:00 - 15:00 | Diffie-Hellman Algebra Moses Liskov (MITRE) |
| 15:00 - 16:00 | Formalizing Physical Security Properties Cathy Meadows (NRL) |
| 17:00 - ??:?? | Dinner |
Thursday, August 2nd
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | TLS Security Analysis using CPSA Frank Acker (DoD) |
| 10:00 - 10:15 | Break |
| 10:15 - 12:15 | TOOLIP Discussion: Completeness of CPSA |
| 12:15 - 14:00 | Lunch |
| 14:00 - 15:45 | TOOLIP Discussion (continued if necessary) |
| 15:45 - 16:00 | Wrap-up |