CSDL - Proceedings S

S
SP
2008
2008 IEEE Symposium on Security and Privacy (sp 2008)

This Publication

Digital Library

	This Publication

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

2008 IEEE Symposium on Security and Privacy (sp 2008)

May 18-May 21

ISBN: 978-0-7695-3168-7

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

Message from the General Chair (PDF)

pp. viii-ix

ABSTRACT

PDF

Message from the Program Chairs (PDF)

pp. x

ABSTRACT

PDF

External Reviewers (PDF)

pp. xi

ABSTRACT

PDF

SybilLimit: A Near-Optimal Social Network Defense against Sybil Attacks (Abstract)

pp. 3-17

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Anonymous Networking with Minimum Latency in Multihop Networks (Abstract)

Parvathinathan Venkitasubramaniam

Lang Tong

pp. 18-32

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Spot Me if You Can: Uncovering Spoken Phrases in Encrypted VoIP Conversations (Abstract)

pp. 35-49

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Preserving Caller Anonymity in Voice-over-IP Networks (Abstract)

pp. 50-63

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Jamming-resistant Key Establishment using Uncoordinated Frequency Hopping (Abstract)

pp. 64-78

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Casting out Demons: Sanitizing Training Data for Anomaly Sensors (Abstract)

pp. 81-95

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Efficient and Robust TCP Stream Normalization (Abstract)

pp. 96-110

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Robust De-anonymization of Large Sparse Datasets (Abstract)

Arvind Narayanan

Vitaly Shmatikov

pp. 111-125

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses (Abstract)

Daniel Halperin

Thomas S. Heydt-Benjamin

pp. 129-142

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications (Abstract)

pp. 143-157

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Compromising Reflections-or-How to Read LCD Monitors around the Corner (Abstract)

pp. 158-169

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

ClearShot: Eavesdropping on Keyboard Input from Video (Abstract)

pp. 170-183

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

XFA: Faster Signature Matching with Extended Automata (Abstract)

pp. 187-201

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol (Abstract)

pp. 202-215

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Towards Practical Privacy for Genomic Computation (Abstract)

pp. 216-230

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Lares: An Architecture for Secure Active Monitoring Using Virtualization (Abstract)

pp. 233-247

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Practical Proactive Integrity Preservation: A Basis for Malware Defense (Abstract)

pp. 248-262

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Preventing Memory Error Exploits with WIT (Abstract)

pp. 263-277

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Thinking Inside the Box: System-Level Failures of Tamper Proofing (Abstract)

pp. 281-295

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Cloaker: Hardware Supported Rootkit Concealment (Abstract)

pp. 296-310

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Predictable Design of Network-Based Covert Communication Systems (Abstract)

Ronald William Smith

George Scott Knight

pp. 311-321

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Verifying the Safety of User Pointer Dereferences (Abstract)

Suhabe Bugrara

Alex Aiken

pp. 325-338

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Expressive Declassification Policies and Modular Static Enforcement (Abstract)

pp. 339-353

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Civitas: Toward a Secure Voting System (Abstract)

pp. 354-368

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Fable: A Language for Enforcing User-defined Security Policies (Abstract)

pp. 369-383

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications (Abstract)

pp. 387-401

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Secure Web Browsing with the OP Web Browser (Abstract)

pp. 402-416

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage (Abstract)

Bruno Blanchet

Avik Chaudhuri

pp. 417-431

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Author Index (PDF)

pp. 432

ABSTRACT

PDF

Roster Page (PDF)

pp. 434

ABSTRACT

PDF

Peer Review Notice | Give Us Feedback

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

Open
Download