21st IEEE Computer Security Foundations Symposium

June 23-25, 2008

Carnegie Mellon University, Pittsburgh, USA

Technical Program

MONDAY, June 23, 2008

9:00 - 9:05	Welcome Anupam Datta (CMU), General Chair Andrei Sabelfeld (Chalmers), Program Chair
9:05 - 10:35	Language-based security Session Chair: Stephen Chong Michele Bugliesi and Riccardo Focardi Language Based Secure Communication Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andy Gordon and Sergio Maffeis Refinement Types for Secure Implementations Sruthi Bandhakavi, William Winsborough and Marianne Winslett A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
10:35 - 11:15	Break
11:15 - 12:15	Security models in theory and practice Session Chair: Iliano Cervesato Michael Clarkson and Fred B. Schneider Hyperproperties Ann Miura-Ko, Benjamin Yolken, John Mitchell and Nicholas Bambos Security decision-making among interdependent organizations
12:15 - 14:00	Lunch
14:00 - 15:00	Declassification and erasure Session Chair: Michael Backes Gilles Barthe, Salvador Cavadini and Tamara Rezk Tractable Enforcement of Declassification Policies Stephen Chong and Andrew C. Myers End-to-End Enforcement of Erasure and Declassification
15:00 - 15:30	Break
15:30 - 17:00 17:00 - 17:30	Five minute talks Session Chair: Andrei Sabelfeld go to the five-minute talks detailed program Business meeting Session Chair: Jonathan Millen
18:30 -	CSF dinner banquet

---

TUESDAY, June 24, 2008

8:30 - 9:30 9:30 – 10:30	CSF/LICS joint invited talk by David Basin Session Chair: Frank Pfenning/Andrei Sabelfeld Christoph Sprenger and David Basin Cryptographically Sound Protocol-model Abstractions Joint talk (LICS) Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan On the Expressiveness and Complexity of Randomization in Finite State Monitors Authorization logic I  - joint talk (CSF) Henry DeYoung, Deepak Garg and Frank Pfenning An Authorization Logic with Explicit Time
10:30 - 11:00	Break
11:00 - 12:30	Authorization logic II – joint talks (CSF) Session Chair: John Mitchell Yuri Gurevich and Itay Neeman DKAL: Distributed-Knowledge Authorization Language Glenn Bruns and Michael Huth Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis Jeffrey Vaughan, Limin Jia, Karl Mazurak and Steve Zdancewic Evidence-based Audit
12:30 - 14:00	Lunch
14:00 - 16:00	Protocol analysis I Session Chair: Cédric Fournet Michael Backes, Catalin Hritcu and Matteo Maffei Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Christopher Dilloway and Gavin Lowe Specifying Secure Transport Layers Jean Goubault-Larrecq Towards Producing Formally Checkable Security Proofs, Automatically Stéphanie Delaune, Steve Kremer and Mark Ryan Composition of Password-based Protocols
16:00 - 16:30	Break
16:30 - 17:30	Cryptographic foundations Session Chair: Bruno Blanchet Michael Backes and Dominique Unruh Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers Ralf Kuesters and Max Tuengerthal Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation
17:30 - 18:30	Joint CSF-LICS  short-talk session Session Chair: Frank Pfenning
19:00 - 21:00	CSF-LICS joint reception

---

WEDNESDAY, June 25, 2008

8:30 - 9:30 9:30 - 10:30	LICS invited talk Dexter Kozen Nonlocal Flow of Control and Kleene Algebra with Tests Information flow and concurrency Session Chair: Riccardo Focardi Tachio Terauchi A Type System for Observational Determinism Ron van der Meyden and Chenyi Zhang Information Flow in Systems with Schedulers
10:30 - 11:15	Break
11:15 - 12:15	Protocol analysis II Session Chair: Vitaly Shmatikov Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott and Mahesh Tripunitara A Correctness Proof of a Mesh Security Architecture Stéphanie Delaune, Steve Kremer and Graham Steel Formal Analysis of PKCS#11
12:15 - 12:30	Closing remarks. Presentation of awards
12:30 - 14:00	Lunch