Protocol eXchange Meeting - June 2003
Protocol eXchange
University of Maryland Baltimore County
June 10-11, 2003
Organized by Sylvan Pinsky and Ed Zieglar
TUESDAY June 10, 2003
10:00 - 10:15 | Welcome / Introduction |
10:15 - 11:00 | A Recently Proposed Class of Protocols [pdf] Joshua Guttman (MITRE) |
11:00 - 11:45 | Statistics and Skeletons [pdf] Javier Thayer (MITRE) |
11:45 - 13:00 | Lunch |
13:00 - 13:45 | A Protocol Logic [pdf] Gerard Allwein (NRL) |
13:45 - 14:30 | Relating the MSR Cryto-Protocol Specification Language to Rewrite Logic with Dependent Types [pdf] Mark-Oliver Stehr (Urbana-Champaign) |
14:30 - 14:45 | Break |
14:45 - 15:15 | Formulating the Strand Space Authenication Tests in Maude Sylvan Pinsky (NSA), Ed Zieglar (NSA/UMBC) |
15:15 - 16:00 | Shared Channels [pdf] Carl Gunter (UPenn) |
16:00 - 16:15 | Break |
16:15 - 17:00 | Type Confusion [pdf] Cathy Meadows (NRL) |
WEDNESDAY June 11, 2003
10:00 - 10:45 | Kerberos Proof Techniques [pdf] Aaron Jaggard (UPenn) |
10:45 - 11:45 | Metrics for Traffic Analysis Protection / The Paradoxic Value of Privacy Paul Syverson (NRL) |
11:45 - 13:00 | Lunch |
13:00 - 13:45 | Towards Taxonomy of Challenge-Response Protocols Dusko Pavlovic (Kestrel) |
13:45 - 14:30 | Logic for Proving Properties of Protocols [pdf] John Mitchell (Stanford) |
14:30 - 14:45 | Break |
14:45 - 15:30 | Advantage and Abuse-freeness in Contract Signing Protocols [pdf] Rohit Chadha (UPenn) |
15:30 - 16:15 | Game Analysis of Contract-Signing Protocols [pdf] Steve Kremer (Brussels) |
16:15 - 17:00 | Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis [pdf] Iliano Cervesato (ITT) |
Presentations collected by Iliano Cervesato