Protocol eXchange Meeting - January 2014
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
January 9, 2014
Thursday, January 9th
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | CAVES separation and refinement Moses Liskov (MITRE) |
| 10:00 - 11:00 | Representing Different Attacker Models in Maude-NPA Catherine Meadows (NRL) |
| 11:00 - 11:10 | Break |
| 11:10 - 12:10 | GUI for the Maude-NPA Carolyn Talcott (SRI) |
| 12:10 - 13:50 | Lunch |
| 13:50 - 14:50 | Proving a Simple Private Information Retrieval Protocol Secure in EasyCrypt Alley Stoughton (MIT Lincoln Laboratory) |
| 14:50 - 15:00 | Break |
| 15:00 - 16:00 | Analyzing Protocols with Long-Term State: a Semantics Centric Approach John Ramsdell (MITRE) |
| 17:00 - ??:?? | Dinner |