The Community for Technology Leaders
2012 IEEE Symposium on Security and Privacy (2004)
Berkeley, California
May 9, 2004 to May 12, 2004
ISSN: 1540-7993
ISBN: 0-7695-2136-3
TABLE OF CONTENTS
Session: Attacks and Defenses

Keyboard Acoustic Emanations (Abstract)

Dmitri Asonov , IBM Almaden Research Center, San Jose, CA
Rakesh Agrawal , IBM Almaden Research Center, San Jose, CA
pp. 3

Effects of Mobility and Multihoming on Transport-Protocol Security (Abstract)

Gonzalo Camarillo , Ericsson Research, Jorvas, Finland
Pekka Nikander , Ericsson Research, Jorvas, Finland
Tuomas Aura , Microsoft Research, Cambridge, UK
pp. 12

Analysis of an Electronic Voting System (Abstract)

Adam Stubblefield , Johns Hopkins University
Dan S. Wallach , Rice University
Tadayoshi Kohno , UC San Diego
Aviel D. Rubin , Johns Hopkins University
pp. 27
Session: Theory of Access Control

Access Control By Tracking Shallow Execution History (Abstract)

Philip W. L. Fong , University of Regina, Saskatchewan, Canada
pp. 43

A Layered Design of Discretionary Access Controls with Decidable Safety Properties (Abstract)

Robert H. Sloan , University of Illinois at Chicago
Jon A. Solworth , University of Illinois at Chicago
pp. 56
Session: Cryptography

Automatic Proof of Strong Secrecy for Security Protocols (Abstract)

Bruno Blanchet , CNRS, ?cole Normale Sup?rieure, Paris and Max-Planck-Institut f?r Informatik, Saarbr?
pp. 86
Session: Denial of Service

An Empirical Analysis of Target-Resident DoS Filters (Abstract)

Michael K. Reiter , Carnegie Mellon University, Pittsburgh, PA
Michael Collins , Carnegie Mellon University, Pittsburgh, PA
pp. 103

Large-Scale IP Traceback in High-Speed Internet: Practical Techniques and Theoretical Foundation (Abstract)

Li (Erran) Li , Lucent Technologies
Minho Sung , Georgia Institute of Technology
Jun (Jim) Xu , Georgia Institute of Technology
Jun Li , Georgia Institute of Technology
pp. 115

SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks (Abstract)

Abraham Yaar , Carnegie Mellon University
Adrian Perrig , Carnegie Mellon University
Dawn Song , Carnegie Mellon University
pp. 130
Session: Access Control and Privacy

Safety in Automated Trust Negotiation (Abstract)

Ninghui Li , Purdue University, West Lafayette, IN
William H. Winsborough , George Mason University, Fairfax, VA
pp. 147

Securing OLAP Data Cubes Against Privacy Breaches (Abstract)

Sushil Jajodia , George Mason University, Fairfax, VA
Duminda Wijesekera , George Mason University, Fairfax, VA
Lingyu Wang , George Mason University, Fairfax, VA
pp. 161
Session: Static Analysis

Run-time Principals in Information-flow Type Systems (Abstract)

Stephen Tse , University of Pennsylvania
Steve Zdancewic , University of Pennsylvania
pp. 179

Formalizing Sensitivity in Static Analysis for Intrusion Detection (Abstract)

Jonathon T. Giffin , University of Wisconsin-Madison
Wenke Lee , Georgia Institute of Technology
Yong Huang , University of Massachusetts-Amherst
Somesh Jha , University of Wisconsin-Madison
Henry Hanping Feng , University of Massachusetts-Amherst
Barton P. Miller , University of Wisconsin-Madison
pp. 194
Session: Network Security

Fast Portscan Detection Using Sequential Hypothesis Testing (Abstract)

Hari Balakrishnan , MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA
Vern Paxson , Lawrence Berkeley National Laboratory, Berkeley, CA
Jaeyeon Jung , MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA
Arthur W. Berger , MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA
pp. 211

Multicast Authentication in Fully Adversarial Networks (Abstract)

Roberto Tamassia , Brown University, Providence, RI
Nikos Triandopoulos , Brown University, Providence, RI
Anna Lysyanskaya , Brown University, Providence, RI
pp. 241
Session: Security Against Physical Attacks

An Interleaved Hop-by-Hop Authentication Scheme for Filtering of Injected False Data in Sensor Networks (Abstract)

Peng Ning , North Carolina State University, Raleigh
Sushil Jajodia , George mason University, Fairfax, VA; The MITRE Corporation, McLean, VA
Sencun Zhu , George mason University, Fairfax, VA
Sanjeev Setia , George mason University, Fairfax, VA
pp. 259

Author Index (PDF)

pp. 283
93 ms
(Ver )