19. CSFW 2006: Venice, Italy

Information Flow

• Marieke Huisman, Pratik Worah, Kim Sunesen:
  A Temporal Logic Characterisation of Observational Determinism. 3
  
• Peng Li, Steve Zdancewic:
  Encoding Information Flow in Haskell. 16
  
• Stéphanie Delaune, Steve Kremer, Mark Ryan:
  Coercion-Resistance and Receipt-Freeness in Electronic Voting. 28-42
  

Games, Plans, and Transformations

• Shai Rubin, Somesh Jha, Barton P. Miller:
  On the Completeness of Attack Mutation Algorithms. 43-56
  
• Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
  Types and Effects for Secure Service Orchestration. 57-69
  
• Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher:
  Games for Controls. 70-84
  

Access Control

• Michael J. May, Carl A. Gunter, Insup Lee:
  Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. 85-97
  
• Jason Crampton, Keith M. Martin, Peter R. Wild:
  On Key Assignment for Hierarchical Access Control. 98-111
  
• Avik Chaudhuri, Martín Abadi:
  Secrecy by Typing and File-Access Control. 112-123
  
• Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan:
  Policy Analysis for Administrative Role Based Access Control. 124-138
  

Security Protocol Analysis

• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse:
  Verified Interoperable Implementations of Security Protocols. 139-152
  
• Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner:
  Cryptographically Sound Theorem Proving. 153-166
  
• Aybek Mukhamedov, Mark Dermot Ryan:
  Resolve-Impossibility for a Contract-Signing Protocol. 167-176
  

Language, Interaction, and Change

• Alejandro Russo, Andrei Sabelfeld:
  Securing Interaction between Threads and the Scheduler. 177-189
  
• Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong:
  Information-Flow Security for Interactive Programs. 190-201
  
• Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic:
  Managing Policy Updates in Security-Typed Languages. 202-216
  

Language, Obfuscation, and Robustness

• Daniel Hedin, David Sands:
  Noninterference in the Presence of Non-Opaque Pointers. 217-229
  
• Riccardo Pucella, Fred B. Schneider:
  Independence From Obfuscation: A Semantic Framework for Dive. 230-241
  
• Stephen Chong, Andrew C. Myers:
  Decentralized Robustness. 242-256
  

Authorization and Trust

• Antonio Lain, Miranda Mowbray:
  Distributed Authorization Using Delegation with Acyclic Paths. 257-269
  
• Hongbin Zhou, Simon N. Foley:
  A Framework for Establishing Decentralized Secure Coalitions. 270-282
  
• Deepak Garg, Frank Pfenning:
  Non-Interference in Constructive Authorization Logic. 283-296
  

Protocols and Cryptographic Foundations

• Kim-Kwang Raymond Choo:
  Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting. 297-308
  
• Ralf Küsters:
  Simulation-Based Security with Inexhaustible Interactive Turing Machines. 309-320
  
• Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi:
  Computationally Sound Compositional Logic for Key Exchange Protocols. 321-334
  

Last update Thu May 24 04:15:33 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page