Protocol eXchange Meeting - February 2005
Protocol eXchange SeminarNaval Postgraduate School, Monterey, CA
|
 Download poster [ jpg | pdf ] |
TUESDAY February 1, 2005
| 10:00 - 10:15 | Welcome remarks Sylvan Pinsky (NSA), George Dinolt (NPS) |
| 10:15 - 11:15 | Specifying Kerberos 5 Cross-Realm Authentication [pdf] Iliano Cervesato (Tulane) |
| 11:15 - 11:30 | Break |
| 11:30 - 12:30 | Analyzing SPKI [pdf] Alex Vidergar (USAD) |
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:00 | The Protocol Derivation Assistant [pdf] Dusko Pavlovic, Matthias Anlauff (Kestrel) |
| 15:00 - 15:15 | Break |
| 15:15 - 16:15 | Automating Protcol Analysis in Strand Spaces [pdf] Shaddin Doghmi (MITRE) |
| 16:15 - 16:30 | Closing remarks |
| 17:30 - ... | Social dinner |
WEDNESDAY February 2, 2005
| 10:00 - 11:00 | The Sizes of Skeletons: Security Goals are Decidable [pdf] Joshua Guttman (MITRE) |
| 11:00 - 12:00 | Key Cycles and Formal Encryption [pdf] Jonathan Herzog (MITRE), Pedro Adao (Lisbon) |
| 12:00 - 13:00 | Lunch |
| 13:00 - 14:00 | Wireless Security [pdf] Radha Poovendran (U. Washington, Seattle) |
| 14:00 - 14:15 | Concluding Remarks Sylvan Pinsky (NSA) |
Presentations collected by Iliano Cervesato