Protocol eXchange Meeting - June 2010
Protocol eXchange Meeting
National Cryptologic Museum
Magic Room
June 29-30, 2010
Tuesday, June 29th
| 08:30 - 09:00 | Arrival and Welcome |
| 09:00 - 09:55 | CPSA Algebras and Carried Only Within Moses Liskov (MITRE) |
| 09:55 - 10:50 | Disentangling Strands: Message and Communication Posets Javier Thayer (MITRE) |
| 10:50 - 11:00 | Break |
| 11:00 - 11:30 | Accountability (Work in Progress) Aaron D. Jaggard (Rutgers) |
| 11:30 - 13:00 | Lunch |
| 13:00 - 13:55 | Bounded memory Dolev-Yao adversaries in collaborative systems Vivek Nigam (University of Pennsylvania) |
| 13:55 - 14:50 | CPSA in Logical Clothing Daniel J. Dougherty and Joshua D. Guttman (Worcester Polytechnic Institute) |
| 14:50 - 15:00 | Break |
| 15:00 - 15:55 | Approximate Privacy: Foundations and Quantification Aaron D. Jaggard (Rutgers) |
| 15:55 - 16:00 | Wrap-up |
Wednesday, June 30th
| 08:00 - 12:00 | Room Available for Discussions Ed Zieglar (NSA) |