21. CSF 2008: Pittsburgh, PA, USA
Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008. IEEE Computer Society 2008 ISBN 978-0-7695-3182-3
Language-Based Security
- 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
- 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
CSF/LICS Joint Invited Talk
Authorization Logic I
Authorization Logic II
- Glenn Bruns, Michael Huth: Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. 163-176
Protocol Analysis I
- Michael Backes, Catalin Hritcu, Matteo Maffei: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. 195-209
- Jean Goubault-Larrecq: Towards Producing Formally Checkable Security Proofs, Automatically. 224-238
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
Protocol Analysis II
- Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara: A Correctness Proof of a Mesh Security Architecture. 315-330
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team