Protocol eXchange Meeting - November 2011
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
November 1-2, 2011
Tuesday, November 1st
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 10:00 | Reduction-based Formal Analysis of BGP Instances Anduo Wang (University of Pennsylvania) |
| 10:00 - 10:15 | Break |
| 10:15 - 11:15 | Timed Collaborative Systems Andre Scedrov (University of Pennsylvania) |
| 11:15 - 13:00 | Lunch |
| 13:00 - 14:00 | Partial specification of routing configurations Alexander Gurney (University of Pennsylvania) |
| 14:00 - 14:15 | Break |
| 14:15 - 15:15 | Maude-NPA version 2.0 Cathy Meadows (NRL) |
| 15:15 - 15:55 | Open Discussion |
| 15:55 - 16:00 | Wrap-up |
| 17:00 - ??:?? | Dinner |
Wednesday, November 2nd
| 08:00 - 08:30 | Arrival and Welcome |
| 08:30 - 09:30 | Completeness of CPSA Moses Liskov (MITRE) |
| 09:30 - 09:40 | Break |
| 09:40 - 10:40 | Completeness of CPSA (continued) Moses Liskov (MITRE) |
| 10:40 - 10:50 | Break |
| 10:50 - 11:50 | Completeness of CPSA (continued) Moses Liskov (MITRE) |
| 11:50 - 13:30 | Lunch |
| 13:30 - 14:30 | Security Goals for Implicitly Authenticated Diffie-Hellman Protocols: Using indicators to resolve forward secrecy, key compromise, and impersonation goals Dan Dougherty and Joshua Guttman (Worcester Polytechnic Institute) |
| 14:30 - 14:40 | Break |
| 14:40 - 15:40 | Protocol Analysis via the Chase: Bounding the complexity of validity-in-well-founded-models Dan Dougherty and Joshua Guttman (Worcester Polytechnic Institute) |
| 15:40 - 16:00 | Wrap-up |