Program

All sessions will take place in Cirrus unless otherwise indicated.

Tuesday, August 15th

Tuesday's program is also available with abstracts or side by side with other meetings.

09:00‑10:00  Invited Talk (LICS)
Chair: Radha Jagadeesan
Location: Metropolitan A

09:00

Andy Gordon (Microsoft Research) Provable Implementations of Security Protocols [ppt]

10:00‑10:30  Break

10:30‑12:30  Session 1: Protocols 1
Chair: Jon Millen

10:30	Long Nguyen and Bill Roscoe Efficient group authentication protocols based on human interaction
11:00	Jonathan Millen, Joshua Guttman , John Ramsdell, Justin Sheehy and Brian Sniffen Call by Contract for Cryptographic Protocols
11:30	Aybek Mukhamedov and Mark Ryan On Asynchronous Multi-party Contract-Signing
12:00	Romain Janvier, Yassine Lakhnech and Laurent Mazaré Relating the Symbolic and Computational Models of Security Protocols Using Hashes

12:30‑14:00  Lunch break

14:00‑15:30  Session 2: Protocol logics
Chair: Santiago Escobar

14:00	Johannes Borgström, Simon Kramer and Uwe Nestmann Calculus of Cryptographic Communication
14:30	Prateek Gupta and Vitaly Shmatikov Key confirmation and adaptive corruptions in the protocol security logic
15:00	Philippe Balbiani , Yannick Chevalier and mounira kourjieh Reasoning about Actions and Obligations

15:30‑16:00  Break

16:00‑17:00  Session 3: Authentication
Chair: Andre Scedrov

16:00	Matthias Anlauff, Dusko Pavlovic, Richard Waldinger and Stephen Westfold Proving Authentication Properties in the Protocol Derivation Assistant
16:30	DongGook Park , Colin Boyd , Byoungcheon Lee and Hwankoo Kim Responsibility and Credit: New Members of the Authentication Family?

Wednesday, August 16th

Wednesday's program is also available with abstracts or side by side with other meetings.

09:00‑10:00  Session 4: Invited Talk
Chair: the PC chairs

09:00

Martin Abadi (University of California at Santa Cruz and Microsoft Research) Access Control in a Core Calculus of Dependency [ppt]

10:00‑10:30  Session 5: Access Control and Policies 1
Chair: the PC chairs

10:00

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

10:30‑11:00  Break

11:00‑12:30  Session 6: Access Control and Policies 2
Chair: the PC chairs

11:00	Amit Walvekar, Manasi Kelkar , Melanie Smith and Rose Gamble Determining Conflicts in Interdomain Mappings for Access Control
11:30	A. Prasad Sistla and Min Zhou Analysis of Dynamic Policies
12:00	Chamseddine Talhi, Nadia Tawbi and Mourad Debbabi Execution Monitoring Enforcement Under Memory-Limitation Constraints

12:30‑14:00  Lunch break

14:00‑15:30  Session 7: Protocols 3
Chair: Vitaly Shmatikov

14:00	Veronique Cortier and Graham Steel On the Decidability of a Class of XOR-based Key-management APIs
14:30	Massimo Benerecetti , Nicola Cuomo and Adriano Peron Timed HLPSL for specification and verification of time sensitive protocols
15:00	Alan Jeffrey and Ruy Ley-Wild Dynamic Model Checking of C Cryptographic Protocol Implementations

15:30‑16:00  Break

16:00‑17:00  Session 8: Discussion and conclusion