| 2006 | Retrofitting Legacy Code for Authorization Policy Enforcement. | Vinod Ganapathy, Trent Jaeger, Somesh Jha |
| 2006 | A Safety-Oriented Platform for Web Applications. | Richard S. Cox, Steven D. Gribble, Henry M. Levy, Jacob Gorm Hansen |
| 2006 | A Logic for Constraint-based Security Protocol Analysis. | Ricardo Corin, Sandro Etalle, Ari Saptawijaya |
| 2006 | A Framework for the Evaluation of Intrusion Detection Systems. | Alvaro A. Crdenas, John S. Baras, Karl Seamon |
| 2006 | Integrity (I) Codes: Message Integrity Protection and Authentication Over Insecure Channels. | Mario Cagalj, Jean-Pierre Hubaux, Srdjan Capkun, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava |
| 2006 | Towards Automatic Generation of Vulnerability-Based Signatures. | David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha |
| 2006 | Siren: Catching Evasive Malware (Short Paper). | Kevin Borders, Xin Zhao, Atul Prakash |
| 2006 | A Computationally Sound Mechanized Prover for Security Protocols. | Bruno Blanchet |
| 2006 | The Final Nail in WEP's Coffin. | Andrea Bittau, Mark Handley, Joshua Lackey |
| 2006 | Dataflow Anomaly Detection. | Sandeep Bhatkar, Abhishek Chaturvedi, R. Sekar |
| 2006 | New Constructions and Practical Applications for Private Stream Searching (Extended Abstract). | John Bethencourt, Dawn Xiaodong Song, Brent Waters |
| 2006 | Deriving an Information Flow Checker and Certifying Compiler for Java. | Gilles Barthe, Tamara Rezk, David A. Naumann |
| 2006 | Privacy and Contextual Integrity: Framework and Applications. | Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum |
| 2005 | Worm Origin Identification Using Random Moonwalks. | Yinglian Xie, Vyas Sekar, David A. Maltz, Michael K. Reiter, Hui Zhang |
| 2005 | Program Committee. | |
| 2005 | Conference Organizers. | |
| 2005 | Message from the Program Chairs. | |
| 2005 | A Generic Attack on Checksumming-Based Software Tamper Resistance. | Glenn Wurster, Paul C. van Oorschot, Anil Somayaji |
| 2005 | BIND: A Fine-Grained Attestation Service for Secure Distributed Systems. | Elaine Shi, Adrian Perrig, Leendert van Doorn |
| 2005 | Language-Based Generation and Evaluation of NIDS Signatures. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2005 | Distributed Detection of Node Replication Attacks in Sensor Networks. | Bryan Parno, Adrian Perrig, Virgil D. Gligor |
| 2005 | Polygraph: Automatically Generating Signatures for Polymorphic Worms. | James Newsome, Brad Karp, Dawn Xiaodong Song |
| 2005 | Low-Cost Traffic Analysis of Tor. | Steven J. Murdoch, George Danezis |
| 2005 | Detection of Denial-of-Message Attacks on Sensor Network Broadcasts. | Jonathan M. McCune, Elaine Shi, Adrian Perrig, Michael K. Reiter |
| 2005 | Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication. | Jonathan M. McCune, Adrian Perrig, Michael K. Reiter |