21. CSF 2008: Pittsburgh, PA, USA

Language-Based Security

• Michele Bugliesi, Riccardo Focardi:
  Language Based Secure Communication. 3-16
  
• Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
  Refinement Types for Secure Implementations. 17-32
  
• Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett:
  A Trust Management Approach for Flexible Policy Management in Security-Typed Languages. 33-47
  

Security Models in Theory and Practice

• Michael R. Clarkson, Fred B. Schneider:
  Hyperproperties. 51-65
  
• Reiko Ann Miura-Ko, Benjamin Yolken, John Mitchell, Nicholas Bambos:
  Security Decision-Making among Interdependent Organizations. 66-80
  

Declassification and Erasure

• Gilles Barthe, Salvador Cavadini, Tamara Rezk:
  Tractable Enforcement of Declassification Policies. 83-97
  
• Stephen Chong, Andrew C. Myers:
  End-to-End Enforcement of Erasure and Declassification. 98-111
  

CSF/LICS Joint Invited Talk

• Christoph Sprenger, David A. Basin:
  Cryptographically-Sound Protocol-Model Abstractions. 115-129
  

Authorization Logic I

• Henry DeYoung, Deepak Garg, Frank Pfenning:
  An Authorization Logic With Explicit Time. 133-145
  

Authorization Logic II

• Yuri Gurevich, Itay Neeman:
  DKAL: Distributed-Knowledge Authorization Language. 149-162
  
• Glenn Bruns, Michael Huth:
  Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. 163-176
  
• Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic:
  Evidence-Based Audit. 177-191
  

Protocol Analysis I

• Michael Backes, Catalin Hritcu, Matteo Maffei:
  Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. 195-209
  
• Christopher Dilloway, Gavin Lowe:
  Specifying Secure Transport Channels. 210-223
  
• Jean Goubault-Larrecq:
  Towards Producing Formally Checkable Security Proofs, Automatically. 224-238
  
• Stéphanie Delaune, Steve Kremer, Mark Ryan:
  Composition of Password-Based Protocols. 239-251
  

Cryptographic Foundations

• Michael Backes, Dominique Unruh:
  Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. 255-269
  
• Ralf Küsters, Max Tuengerthal:
  Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. 270-284
  

Information Flow and Concurrency

• Tachio Terauchi:
  A Type System for Observational Determinism. 287-300
  
• Ron van der Meyden, Chenyi Zhang:
  Information Flow in Systems with Schedulers. 301-312
  

Protocol Analysis II

• Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara:
  A Correctness Proof of a Mesh Security Architecture. 315-330
  
• Stéphanie Delaune, Steve Kremer, Graham Steel:
  Formal Analysis of PKCS#11. 331-344