Accepted Papers

Veronique Cortier, Graham Steel
On the Decidability of a Class of XOR-based Key-management APIs

Mathieu Jaume, Charles Morisset
Towards a formal specification of access control

Amit Walvekar, Manasi Kelkar, Melanie Smith, and Rose Gamble
Determining Conflicts in Interdomain Mappings for Access Control

Massimo Benerecetti, Nicola Cuomo, and Adriano Peron
Timed HLPSL for specification and verification of time sensitive protocols

Matthias Anlauff, Dusko Pavlovic, Richard Waldinger, and Stephen Westfold
Proving Authentication Properties in the Protocol Derivation Assistant

Long Nguyen, Bill Roscoe
Efficient group authentication protocols based on human interaction

Alan Jeffrey, Ruy Ley-Wild
Dynamic Model Checking of C Cryptographic Protocol Implementations

Jonathan Millen, Joshua Guttman, John Ramsdell, Justin Sheehy, and Brian Sniffen
Call by Contract for Cryptographic Protocols

DongGook Park, Colin Boyd, Byoungcheon Lee, and Hwankoo Kim
Responsibility and Credit: New Members of the Authentication Family?

Romain Janvier, Yassine Lakhnech, and Laurent Mazaré
Relating the Symbolic and Computational Models of Security Protocols Using Hashes

Philippe Balbiani, Yannick Chevalier, and mounira kourjieh
Reasoning about Actions and Obligations

Prateek Gupta, Vitaly Shmatikov
Key confirmation and adaptive corruptions in the protocol security logic

Johannes Borgström, Simon Kramer, and Uwe Nestmann
Calculus of Cryptographic Communication

Aybek Mukhamedov, Mark Ryan
On Asynchronous Multi-party Contract-Signing

Chamseddine Talhi, Nadia Tawbi, and Mourad Debbabi
Execution Monitoring Enforcement Under Memory-Limitation Constraints

A. Prasad Sistla, Min Zhou
Analysis of Dynamic Policies