20. CSF 2007: Venice, Italy

20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. IEEE Computer Society 2007 BibTeX

Authorization

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon:
Design and Semantics of a Decentralized Authorization Language. 3-15
Electronic Edition (link) BibTeX
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities. 16-30
Electronic Edition (link) BibTeX
Cédric Fournet, Andy Gordon, Sergio Maffeis:
A Type Discipline for Authorization in Distributed Systems. 31-48
Electronic Edition (link) BibTeX

Prateek Gupta, Vitaly Shmatikov:
Security Analysis of Voice-over-IP Protocols. 49-63
Electronic Edition (link) BibTeX
Alwyn Goodloe, Carl A. Gunter:
Reasoning about Concurrency for Security Tunnels. 64-78
Electronic Edition (link) BibTeX
Véronique Cortier, Stéphanie Delaune, Graham Steel:
A Formal Theory of Key Conjuring. 79-96
Electronic Edition (link) BibTeX

Bruno Blanchet:
Computationally Sound Mechanized Proofs of Correspondence Assertions. 97-111
Electronic Edition (link) BibTeX
Michael Backes, Birgit Pfitzmann, Andre Scedrov:
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. 112-124
Electronic Edition (link) BibTeX
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira:
Compositional Security for Task-PIOAs. 125-139
Electronic Edition (link) BibTeX
Roberto Segala, Andrea Turrini:
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. 140-156
Electronic Edition (link) BibTeX

James Heather:
Implementing STV securely in Pret a Voter. 157-169
Electronic Edition (link) BibTeX
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer:
Secure Implementations for Typed Session Abstractions. 170-186
Electronic Edition (link) BibTeX
Ta-Chung Tsai, Alejandro Russo, John Hughes:
A Library for Secure Multi-threaded Information Flow in Haskell. 187-202
Electronic Edition (link) BibTeX

Paritosh Shroff, Scott F. Smith, Mark Thober:
Dynamic Dependency Monitoring to Secure Information Flow. 203-217
Electronic Edition (link) BibTeX
Gurvan Le Guernic:
Automaton-based Confidentiality Monitoring of Concurrent Programs. 218-232
Electronic Edition (link) BibTeX
Lennart Beringer, Martin Hofmann:
Secure information flow and program logics. 233-248
Electronic Edition (link) BibTeX

Hanne Riis Nielson, Flemming Nielson:
A flow-sensitive analysis of privacy properties. 249-264
Electronic Edition (link) BibTeX
Max I. Kanovich, Paul Rowe, Andre Scedrov:
Collaborative Planning With Privacy. 265-278
Electronic Edition (link) BibTeX
Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram:
Privacy and Utility in Business Processes. 279-294
Electronic Edition (link) BibTeX

Miranda Mowbray, Dieter Gollmann:
Electing the Doge of Venice: Analysis of a 13th Century Protocol. 295-310
Electronic Edition (link) BibTeX

David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song:
Creating Vulnerability Signatures Using Weakest Preconditions. 311-325
Electronic Edition (link) BibTeX
Heiko Mantel, Henning Sudbrock:
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. 326-340
Electronic Edition (link) BibTeX
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Probability of Error in Information-Hiding Protocols. 341-354
Electronic Edition (link) BibTeX

Michael Backes, Agostino Cortesi, Matteo Maffei:
Causality-based Abstraction of Multiplicity in Security Protocols. 355-369
Electronic Edition (link) BibTeX
Sibylle B. Fröschle:
The Insecurity Problem: Tackling Unbounded Data. 370-384
Electronic Edition (link) BibTeX
Alessandro Armando, Roberto Carbone, Luca Compagna:
LTL Model Checking for Security Protocols. 385-396
Electronic Edition (link) BibTeX