25. S&P 2004: Berkeley, California, USA

2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA. IEEE Computer Society 2004, ISBN 0-7695-2136-3 BibTeX

Attacks and Defenses

Dmitri Asonov, Rakesh Agrawal:
Keyboard Acoustic Emanations. 3-11
Electronic Edition (link) BibTeX
Tuomas Aura, Pekka Nikander, Gonzalo Camarillo:
Effects of Mobility and Multihoming on Transport-Protocol Security. 12-26
Electronic Edition (link) BibTeX
Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach:
Analysis of an Electronic Voting System. 27-
Electronic Edition (link) BibTeX

Philip W. L. Fong:
Access Control By Tracking Shallow Execution History. 43-55
Electronic Edition (link) BibTeX
Jon A. Solworth, Robert H. Sloan:
A Layered Design of Discretionary Access Controls with Decidable Safety Properties. 56-
Electronic Edition (link) BibTeX

Peeter Laud:
Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries. 71-85
Electronic Edition (link) BibTeX
Bruno Blanchet:
Automatic Proof of Strong Secrecy for Security Protocols. 86-
Electronic Edition (link) BibTeX

Michael P. Collins, Michael K. Reiter:
An Empirical Analysis of Target-Resident DoS Filters. 103-114
Electronic Edition (link) BibTeX
Jun Li, Minho Sung, Jun Xu, Li Li:
Large-Scale IP Traceback in High-Speed Internet: Practical Techniques and Theoretical Foundation. 115-129
Electronic Edition (link) BibTeX
Abraham Yaar, Adrian Perrig, Dawn Xiaodong Song:
SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks. 130-
Electronic Edition (link) BibTeX

William H. Winsborough, Ninghui Li:
Safety in Automated Trust Negotiation. 147-160
Electronic Edition (link) BibTeX
Lingyu Wang, Sushil Jajodia, Duminda Wijesekera:
Securing OLAP Data Cubes Against Privacy Breaches. 161-
Electronic Edition (link) BibTeX

Stephen Tse, Steve Zdancewic:
Run-time Principals in Information-flow Type Systems. 179-193
Electronic Edition (link) BibTeX
Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller:
Formalizing Sensitivity in Static Analysis for Intrusion Detection. 194-
Electronic Edition (link) BibTeX

Jaeyeon Jung, Vern Paxson, Arthur W. Berger, Hari Balakrishnan:
Fast Portscan Detection Using Sequential Hypothesis Testing. 211-225
Electronic Edition (link) BibTeX
Maxwell N. Krohn, Michael J. Freedman, David Mazières:
On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution. 226-240
Electronic Edition (link) BibTeX
Anna Lysyanskaya, Roberto Tamassia, Nikos Triandopoulos:
Multicast Authentication in Fully Adversarial Networks. 241-
Electronic Edition (link) BibTeX

Sencun Zhu, Sanjeev Setia, Sushil Jajodia, Peng Ning:
An Interleaved Hop-by-Hop Authentication Scheme for Filtering of Injected False Data in Sensor Networks. 259-271
Electronic Edition (link) BibTeX
Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla:
SWATT: SoftWare-based ATTestation for Embedded Devices. 272-
Electronic Edition (link) BibTeX