Protocol eXchange Meeting - January 2009
Protocol eXchange Meeting
Naval Postgraduate School
27-28 January 2009
Tuesday, January 27th
| 09:00 - 09:55 | Transformations between Cryptographic Protocols Joshua Guttman (MITRE) |
| 09:55 - 10:50 | Domain theory and Task Structured Probabilistic Input-Output Automata Michael Mislove (Tulane University) |
| 10:50 - 11:05 | Break |
| 11:05 - 12:00 | Term Reduction for Cryptographic Shape Search John Ramsdell (MITRE) |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:25 | Dynamics of Trust Dusko Pavlovic (Kestrel) |
| 14:25 - 15:20 | Security of Tagged Protocols in Real-World Scenarios Sreekanth Malladi (Dakota State University) |
| 15:20 - 15:35 | Break |
| 15:35 - 17:25 | Separating Two Roles of Hashing in Authentication Bill Roscoe (Oxford University) |
| 18:00 - ?:?? | Dinner |
Wednesday, January 28th
| 09:00 - 09:55 | Demonstration of the Maude-NPA Viewer Sonia Santiago |
| 09:55 - 10:50 | Narrowing-based Equational Unification Santiago Escobar (Universidad Politecnica de Velencia) |
| 10:50 - 11:05 | Break |
| 11:05 - 12:00 | Four Statements about Security and Science Dusko Pavlovic (Kestrel) |
| 12:00 - 13:30 | Lunch |
| 13:30 - 16:30 | Toolip Meeting |
| 16:30 - 16:45 | Wrap-up |