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