Protocol eXchange Meeting - October 2012
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
October 10-11, 2012
Wednesday, October 10th
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | Reduction-based formal analysis of BGP systems Anduo Wang (University of Pennsylvania) |
| 10:00 - 11:00 | A CPSA Analysis of the Envelope Protocol Paul Rowe (MITRE) |
| 11:00 - 11:15 | Break |
| 11:15 - 12:15 | Session semantics despite adversaries: Separability in security protocols Joshua Guttman (Worcester Polytechnic Institute) |
| 12:15 - 14:00 | Lunch |
| 14:00 - 15:00 | Proving Indistinguishability in Maude-NPA Cathy Meadows (NRL) |
| 15:00 - 16:00 | Not all bits are born equal: Taking the meaning of secret bits into consideration for measures of information flow Mario Alvin (University of Pennsylvania) |
| 17:00 - ??:?? | Dinner |
Thursday, October 11th
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | SIP Security Analysis using CPSA Frank Acker (DoD) |
| 10:00 - 11:00 | Protocol Analysis using CPSA and Maude-NPA Olga Chen (NRL) |
| 11:00 - 11:15 | Break |
| 11:15 - 12:15 | TOOLIP Discussion: Higher level language for expressing security properties and automating mappings to different tools Carolyn Talcott (SRI) |
| 12:15 - 14:00 | Lunch |
| 14:00 - 15:45 | TOOLIP Discussion (continued if necessary) |
| 15:45 - 16:00 | Wrap-up |