Protocol eXchange Meeting - October 2008
Protocol eXchange Seminar
National Cryptologic Museum
Magic Room
October 1-2, 2008
WEDNESDAY October 1, 2008
| 09:00 - 11:00 | Toolip Meeting [pdf] Presentation by Carolyn Talcott |
| 11:00 - 11:10 | Break |
| 11:10 - 12:00 | Annotated Local Interaction Systems [pdf] Jon Millen (MITRE) |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 | Deriving Authentication for Pervasive Computing [pdf] Cathy Meadows (NRL) |
| 14:30 - 16:00 | Guided Tour of the Cryptologic Museum |
THURSDAY October 2, 2008
| 09:00 - 09:50 | Crytpographic Protocol Composition via the Authentication Tests [pdf] Joshua Guttman (MITRE) |
| 09:50 - 10:40 | Computationally Sound Mechanized Proof of PKINIT for Kerberos [pdf] Aaron Jaggard (Rutgers University) |
| 10:40 - 10:50 | Break |
| 10:50 - 11:40 | Analysis of EAP-GPSK Authentication Protocol [pdf] Paul Rowe (University of Pennsylvania) |
| 11:40 - 12:30 | Observations on NSL Group Authentication Protocols Ed Zieglar (NSA) |
| 12:30 - 13:30 | Lunch |
| 13:30 - 14:20 | The TPM as Controlled State Repository: Modelling Trusted Platform Modules [pdf] Ariel Segall (MITRE) |
| 14:20 - 15:45 | Maude-NPA Update and Tutorial Cathy Meadows (NRL) |
| 15:45 - 16:00 | Wrap-up |
Presentations collected by George Dinolt