CSDL - Proceedings C

CC
CSF
2009
2009 22nd IEEE Computer Security Foundations Symposium

This Publication

Digital Library

	This Publication

	Subscribe to this Publication Login to access your subscribed content
	Bibliographic References
	ASCII Text BibTex Refworks Procite/RefMan

2009 22nd IEEE Computer Security Foundations Symposium

Port Jefferson, New York

July 08-July 10

ISBN: 978-0-7695-3712-2

Table of Contents

Papers

Cover Art (PDF)

pp. C4,C1

ABSTRACT

PDF

Title Page i (PDF)

pp. i

ABSTRACT

PDF

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-vii

ABSTRACT

PDF

Conference Information (PDF)

pp. viii-ix

ABSTRACT

PDF

More Anonymous Onion Routing Through Trust (Abstract)

Aaron Johnson

Paul Syverson

pp. 3-12

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Minimal Message Complexity of Asynchronous Multi-party Contract Signing (Abstract)

Sjouke Mauw

Sasa Radomirovic

Mohammad Torabi Dashti

pp. 13-25

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code (Abstract)

Phillip Rogaway

Till Stegers

pp. 26-39

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Tight Enforcement of Information-Release Policies for Dynamic Languages (Abstract)

Aslan Askarov

Andrei Sabelfeld

pp. 43-59

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Updatable Security Views (Abstract)

pp. 60-74

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Language-Based Isolation of Untrusted JavaScript (Abstract)

Sergio Maffeis

Ankur Taly

pp. 77-91

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Securing Timeout Instructions in Web Applications (Abstract)

Alejandro Russo

Andrei Sabelfeld

pp. 92-106

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks (Abstract)

pp. 109-123

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions (Abstract)

Karthikeyan Bhargavan

pp. 124-140

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

A Secure Cryptographic Token Interface (Abstract)

Christian Cachin

Nishanth Chandran

pp. 141-153

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation (Abstract)

Ralf Küsters

Tomasz Truderung

pp. 157-171

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

ASPIER: An Automated Framework for Verifying Security Protocol Implementations (Abstract)

Sagar Chaki

Anupam Datta

pp. 172-185

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities (Abstract)

Richard Chang

Guofei Jiang

Franjo Ivancic

Sriram Sankaranarayanan

Vitaly Shmatikov

pp. 186-199

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Specification and Analysis of Dynamic Authorisation Policies (Abstract)

Moritz Y. Becker

pp. 203-217

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Policy Compliance in Collaborative Systems (Abstract)

pp. 218-233

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Advice from Belnap Policies (Abstract)

pp. 234-247

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Expressive Power of Definite Clauses for Verifying Authenticity (Abstract)

Gilberto Filè

Roberto Vigo

pp. 251-265

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

A Method for Proving Observational Equivalence (Abstract)

Véronique Cortier

Stéphanie Delaune

pp. 266-276

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists (Abstract)

pp. 277-289

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Universally Composable Symmetric Encryption (Abstract)

Ralf Küsters

Max Tuengerthal

pp. 293-307

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Achieving Security Despite Compromise Using Zero-knowledge (Abstract)

pp. 308-323

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

A Provably Secure and Efficient Countermeasure against Timing Attacks (Abstract)

Boris Köpf

Markus Dürmuth

pp. 324-335

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Author Index (PDF)

pp. 336

ABSTRACT

PDF

Roster Page (PDF)

pp. 338

ABSTRACT

PDF

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.

Open
Download