18th IEEE Computer Security Foundations Workshop

June 20 - 22, 2005

Aix-en-Provence, France

Sponsored by the Technical Committee on Security and Privacy

of the IEEE Computer Society

Monday, 20 June

Session 1: Information Flow and Security Goals (chair, A. Sabelfeld)

9:00Practical Information-flow Control in Web-based Information Systems
Peng Li and Steve Zdancewic
9:30Achieving Information Flow Security Through Precise Control of Effects
William Lawrence Harrison and James Hook
10:00Belief in Information Flow
Michael R. Clarkson, Andrew C. Myers and Fred B. Schneider

Session 2: Logic and Knowledge for Protocols (chair, B. Blanchet)

11:15An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocol
Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic
11:45Deciding knowledge in security protocols under (many more) equational theories
Martìn Abadi and Véronique Cortier

Session 3: Protocol Case Studies (chair, P. Ryan)

14:30A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
Michael Backes and Markus Dürmuth
15:00Compositional Analysis of Contract Signing Protocols
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, and Mathieu Turuani

Session 4: Five-Minute Talks (16:15 until 17:45); Business meeting (17:45 until 18:00)

Tuesday, 21 June

Session 5: Protocol Verification Techniques (chair, C. Fournet)

9:00Analysis of Type-based Analyses of Authentication Protocols
M. Bugliesi, R. Focardi, and M. Maffei
9:30Temporal Rank Functions for Forward Secrecy
Rob Delicata and Steve Schneider
10:00Reconstruction of Attacks against Cryptographic Protocols
Xavier Allamigeon and Bruno Blanchet

Session 6: Computational and Formal Models (chair, L. Zuck)

11:15Polynomial Runtime in Simulatability Definitions
Dennis Hofheinz, Jörn Müller-Quad, and Dominique Unruh
11:45Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
Pedro Adão, Gergei Bana, and Andre Scedrov

Session 7: Access Control and Languages (chair, T. Jensen)

14:30Nomad: A Security Model with Non Atomic Actions and Deadlines
Frédéric Cuppens, Nora Cuppens-Boulahia, and Thierry Sans
15:00Type annotation for stack-based access control
Tian Zhao
15:30Enforcing Secure Service Composition
Massimo Bartoletti, Pierpaolo Degano, and Gian-Luigi Ferrari

Session 8: New Foundational Problems Panel (16:45 until 18:00, chair A. Myers)

Wednesday, 22 June

Session 9: Declassification (chair, S. Zdancewic)

9:00On Declassification and the Non-Disclosure Policy
Gerard Boudol and Ana Matos
9:30Language-Based Information Erasure
Stephen Chong and Andrew C. Myers
10:00Dimensions and Principles of Declassification
Andrei Sabelfeld and David Sands

Session 10: Availability and Denial of Service (chair, P. Degano)

11:15End-to-end Availability Policies and Noninterference
Lantian Zheng and Andrew C. Myers
11:45Game-Based Analysis of Denial-of-Service Prevention Protocols
Ajay Mahimkar and Vitaly Shmatikov

There are PDF and plain text versions of this programs.

For further information contact:
General ChairProgram ChairPublications Chair
Roberto Amadio
CMI, 39 rue Joliot-Curie
13453, Marseille Cedex 13
+33 4 91 11 36 14
Joshua Guttman
The MITRE Corporation
202 Burlington Rd
Bedford, MA 01730
+1 781 271 2654
Jonathan Herzog
The MITRE Corporation
202 Burlington Rd
Bedford, MA 01730
+1 781 271 7281