• C
  • CSF
  • 2007
  • 20th IEEE Computer Security Foundations Symposium (CSF'07)
Advanced Search 
20th IEEE Computer Security Foundations Symposium (CSF'07)
Venice, Italy
July 06-July 08
ISBN: 0-7695-2819-8
Table of Contents
Introduction
Authorization
Moritz Becker, Microsoft Research, United Kingdom
Cedric Fournet, Microsoft Research, United Kingdom
Andrew Gordon, Microsoft Research, United Kingdom
pp. 3-15
Multi-Layer Protocols and Key Conjuring
Alwyn E. Goodloe, University of Pennsylvania, USA
Carl A. Gunter, University of Illinois at Urbana-Champaign, USA
pp. 64-78
Protocols and Cryptographic Foundations
Ran Canetti, IBM Research
Ling Cheung, Massachusetts Institute of Technology
Dilsun Kaynar, Carnegie Mellon University
Nancy Lynch, Massachusetts Institute of Technology
Olivier Pereira, Universite catholique de Louvain
pp. 125-139
Secure Implementation
Ricardo Corin, MSR-INRIA Joint Centre; Microsoft Research; University of Twente
Pierre-Malo Denielou, MSR-INRIA Joint Centre; Microsoft Research
Cedric Fournet, MSR-INRIA Joint Centre; Microsoft Research
Karthikeyan Bhargavan, MSR-INRIA Joint Centre; Microsoft Research
James Leifer, MSR-INRIA Joint Centre
pp. 170-186
Ta-chung Tsai, Chalmers University of Technology, Sweden
Alejandro Russo, Chalmers University of Technology, Sweden
John Hughes, Chalmers University of Technology, Sweden
pp. 187-202
Information Flow
Paritosh Shroff, Johns Hopkins University
Scott Smith, Johns Hopkins University
Mark Thober, Johns Hopkins University
pp. 203-217
Lennart Beringer, Universitat Munchen, Germany
Martin Hofmann, Universitat Munchen, Germany
pp. 233-248
Privacy
Hanne Riis Nielson, Technical University of Denmark, Denmark
Fleming Nielson, Technical University of Denmark, Denmark
pp. 249-264
Max Kanovich, University of London, UK
Paul Rowe, University of Pennsylvania, USA
Andre Scedrov, University of Pennsylvania, USA
pp. 265-278
Adam Barth, Stanford University
John Mitchell, Stanford University
Anupam Datta, Carnegie Mellon University
Sharada Sundaram, Tata Consultancy Services
pp. 279-294
20th Anniversary Invited Paper
Vulnerability Analysis and Information-Theoretic Security
Konstantinos Chatzikokolakis, Ecole Polytechnique, France
Catuscia Palamidessi, Ecole Polytechnique, France
Prakash Panangaden, McGill University, Canada
pp. 341-354
Security Protocol Analysis
Michael Backes, Saarland University, Germany
Agostino Cortesi, Ca'Foscari University, Italy
Matteo Maffei, Saarland University, Germany
pp. 355-369
Alessandro Armando, Universita di Genova, Italy
Roberto Carbone, Universita di Genova, Italy
Luca Compagna, SAP Research, France
pp. 385-396
Author Index
Usage of this product signifies your acceptance of the Terms of Use.