Message from the Program Chairs

PDF

Symposium Committee (PDF)

pp. viii

PDF

Program Committee (PDF)

pp. ix

PDF

Session 1

Optical Time-Domain Eavesdropping Risks of CRT Displays (Abstract)

Markus G. Kuhn, University of Cambridge

pp. 3

PDF

Statistical Identification of Encrypted Web Browsing Traffic (Abstract)

Qixiang Sun, Stanford University

Daniel R. Simon, Microsoft Research

Yi-Min Wang, Microsoft Research

Wilf Russell, Microsoft Research

Venkata N. Padmanabhan, Microsoft Research

Lili Qiu, Microsoft Research

pp. 19

PDF

Partitioning Attacks: Or How to Rapidly Clone Some GSM Cards (Abstract)

Josyula R. Rao, IBM Watson Research Center

Pankaj Rohatgi, IBM Watson Research Center

Helmut Scherzer, IBM Watson Research Center

Stephane Tinguely, Swiss Federal Institute of Technology

pp. 31

PDF

Session 2

Collaborative Filtering with Privacy (Abstract)

John Canny, U.C. Berkeley

pp. 45

PDF

P⁵: A Protocol for Scalable Anonymous Communication (Abstract)

Rob Sherwood, University of Maryland

Bobby Bhattacharjee, University of Maryland

Aravind Srinivasan, University of Maryland

pp. 58

PDF

Session 3

Methods and Limitations of Security Policy Reconciliation (Abstract)

Patrick McDaniel, AT&T Research

Atul Prakash, University of Michigan

pp. 73

PDF

On the Composition of Secure Systems (Abstract)

Heiko Mantel, German Research Center for Artificial Intelligence

pp. 88

PDF

Session 4

Binder, a Logic-Based Security Language (Abstract)

John DeTreville, Microsoft Research

pp. 105

PDF

Design of a Role-Based Trust-Management Framework (Abstract)

Ninghui Li, Stanford University

John C. Mitchell, Stanford University

William H. Winsborough, Network Associates, Inc.

pp. 114

PDF

Constrained Delegation (Abstract)

Olav Bandmann, Swedish Institute of Computer Science (SICS)

Babak Sadighi Firozabadi, Swedish Institute of Computer Science (SICS)

Mads Dam, Royal Institute of Technology (KTH)

pp. 131

PDF

Session 5

Using Programmer-Written Compiler Extensions to Catch Security Holes (Abstract)

Ken Ashcraft, Stanford University

Dawson Engler, Stanford University

pp. 143

PDF

Improving Computer Security Using Extended Static Checking (Abstract)

Brian Chess, University of California, Santa Cruz

pp. 160

PDF

Session 6

Noninterference and Intrusion Detection (Abstract)

Calvin Ko, Network Associates, Inc.

Timothy Redmond, Network Associates, Inc.

pp. 177

PDF

"Why 6?" Defining the Operational Limits of Stide, an Anomaly-Based Intrusion Detector (Abstract)

Kymie M.C. Tan, Carnegie Mellon University

Roy A. Maxion, Carnegie Mellon University

pp. 188

PDF

Alert Correlation in a Cooperative Intrusion Detection Framework (Abstract)

Frédéric Cuppens, ONERA Centre de Toulouse

Alexandre Miège, ONERA Centre de Toulouse

pp. 202

PDF

Intrusion-Tolerant Enclaves (Abstract)

Bruno Dutertre, SRI International

Valentin Crettaz, SRI International

Victoria Stavridou, SRI International

pp. 216

PDF

Session 7

Efficient Multicast Packet Authentication Using Signature Amortization (Abstract)

Jung Min Park, Purdue University

Edwin K. P. Chong, Colorado State University

Howard Jay Siegel, Colorado State University

pp. 227

PDF

Self-Healing Key Distribution with Revocation (Abstract)

Jessica Staddon, Palo Alto Research Center

Sara Miner, U.C. San Diego

Matt Franklin, U. C. Davis

Dirk Balfanz, Palo Alto Research Center

Michael Malkin, Stanford University

Drew Dean, SRI International

pp. 241

PDF

Expander Graphs for Digital Stream Authentication and Robust Overlay Networks (Abstract)

Dawn Song, UC Berkeley

J. D. Tygar, UC Berkeley

David Zuckerman, UT Austin

pp. 258

PDF

Session 8

Automated Generation and Analysis of Attack Graphs (Abstract)

Oleg Sheyner, Carnegie Mellon University

Joshua Haines, MIT Lincoln Laboratories

Somesh Jha, University of Wisconsin

Richard Lippmann, MIT Lincoln Laboratories

Jeannette M. Wing, Carnegie Mellon University

pp. 273

PDF

Stateful Intrusion Detection for High-Speed Networks (Abstract)

Christopher Kruegel, University California, Santa Barbara

Fredrik Valeur, University California, Santa Barbara

Giovanni Vigna, University California, Santa Barbara

Richard Kemmerer, University California, Santa Barbara

pp. 285

PDF

Author Index (Abstract)

pp. 295

PDF