| 2005 | On Safety in Discretionary Access Control. | Ninghui Li, Mahesh V. Tripunitara |
| 2005 | Remote Physical Device Fingerprinting. | Tadayoshi Kohno, Andre Broido, Kimberly C. Claffy |
| 2005 | Efficient Intrusion Detection using Automaton Inlining. | Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek |
| 2005 | Leap-Frog Packet Linking and Diverse Key Distributions for Improved Integrity in Network Broadcasts. | Michael T. Goodrich |
| 2005 | Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data. | Dwaine E. Clarke, G. Edward Suh, Blaise Gassend, Ajay Sudan, Marten van Dijk, Srinivas Devadas |
| 2005 | Semantics-Aware Malware Detection. | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
| 2005 | Distributed Proving in Access-Control Systems. | Lujo Bauer, Scott Garriss, Michael K. Reiter |
| 2005 | Relating Symbolic and Cryptographic Secrecy. | Michael Backes, Birgit Pfitzmann |
| 2004 | An Interleaved Hop-by-Hop Authentication Scheme for Filtering of Injected False Data in Sensor Networks. | Sencun Zhu, Sanjeev Setia, Sushil Jajodia, Peng Ning |
| 2004 | SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks. | Abraham Yaar, Adrian Perrig, Dawn Xiaodong Song |
| 2004 | Safety in Automated Trust Negotiation. | William H. Winsborough, Ninghui Li |
| 2004 | Securing OLAP Data Cubes Against Privacy Breaches. | Lingyu Wang, Sushil Jajodia, Duminda Wijesekera |
| 2004 | Run-time Principals in Information-flow Type Systems. | Stephen Tse, Steve Zdancewic |
| 2004 | A Layered Design of Discretionary Access Controls with Decidable Safety Properties. | Jon A. Solworth, Robert H. Sloan |
| 2004 | SWATT: SoftWare-based ATTestation for Embedded Devices. | Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla |
| 2004 | Multicast Authentication in Fully Adversarial Networks. | Anna Lysyanskaya, Roberto Tamassia, Nikos Triandopoulos |
| 2004 | Large-Scale IP Traceback in High-Speed Internet: Practical Techniques and Theoretical Foundation. | Jun Li, Minho Sung, Jun (Jim) Xu, Li (Erran) Li |
| 2004 | Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries. | Peeter Laud |
| 2004 | On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution. | Maxwell N. Krohn, Michael J. Freedman, David Mazires |
| 2004 | Analysis of an Electronic Voting System. | Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach |
| 2004 | Fast Portscan Detection Using Sequential Hypothesis Testing. | Jaeyeon Jung, Vern Paxson, Arthur W. Berger, Hari Balakrishnan |
| 2004 | Access Control By Tracking Shallow Execution History. | Philip W. L. Fong |
| 2004 | Formalizing Sensitivity in Static Analysis for Intrusion Detection. | Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller |
| 2004 | An Empirical Analysis of Target-Resident DoS Filters. | Michael P. Collins, Michael K. Reiter |
| 2004 | Automatic Proof of Strong Secrecy for Security Protocols. | Bruno Blanchet |