| 2015 | ACSAC | Know Your Achilles' Heel: Automatic Detection of Network Critical Services. | Ali Zand, Amir Houmansadr, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel |
| 2015 | HPCC | Prison: Tracking Process Interactions to Contain Malware. | Benjamin Caillat, Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2014 | CCS | Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared? | Maria B. Line, Ali Zand, Gianluca Stringhini, Richard A. Kemmerer |
| 2014 | INFOCOM | Rippler: Delay injection for service dependency detection. | Ali Zand, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel |
| 2014 | SP | The Tricks of the Trade: What Makes Spam Campaigns Successful? | Jane Iedemska, Gianluca Stringhini, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2013 | CISS | Formulating Cyber-Security as Convex Optimization Problems. | Kyriakos G. Vamvoudakis, Joo P. Hespanha, Richard A. Kemmerer, Giovanni Vigna |
| 2013 | NDSS | 20 Years of Network and Distributed Systems Security: The Good, the Bad, and the Ugly. | Richard A. Kemmerer |
| 2011 | DIMVA | MISHIMA: Multilateration of Internet Hosts Hidden Using Malicious Fast-Flux Agents (Short Paper). | Greg Banks, Aristide Fattori, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2011 | IMC | Understanding fraudulent activities in online ad exchanges. | Brett Stone-Gross, Ryan Stevens, Apostolis Zarras, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2011 | RAID | Dymo: Tracking Dynamic Code Identity. | Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2009 | CCS | Your botnet is my botnet: analysis of a botnet takeover. | Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna |
| 2009 | CRiSIS | Formal analysis of attacks for e-voting system. | Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita |
| 2009 | ICICS | How to Steal a Botnet and What Can Happen When You Do. | Richard A. Kemmerer |
| 2008 | ISSTA | Are your votes | Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna |
| 2007 | ACSAC | So You Think You Can Dance? | Richard A. Kemmerer |
| 2007 | RAID | Exploiting Execution Context for the Detection of Anomalous System Calls. | Darren Mutz, William K. Robertson, Giovanni Vigna, Richard A. Kemmerer |
| 2006 | DIMVA | Digital Forensic Reconstruction and the Virtual Security Testbed ViSe. | Andr rnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer |
| 2006 | NDSS | Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks. | William K. Robertson, Giovanni Vigna, Christopher Krgel, Richard A. Kemmerer |
| 2006 | RAID | Using Hidden Markov Models to Evaluate the Risks of Intrusions. | Andr rnes, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer |
| 2004 | ACSAC | An Intrusion Detection Tool for AODV-Based Ad hoc Wireless Networks. | Giovanni Vigna, Sumit Gwalani, Kavitha Srinivasan, Elizabeth M. Belding-Royer, Richard A. Kemmerer |
| 2003 | ACSAC | An Experience Developing an IDS Stimulator for the Black-Box Testing of Network Intrusion Detection Systems. | Darren Mutz, Giovanni Vigna, Richard A. Kemmerer |
| 2003 | ACSAC | A Stateful Intrusion Detection System for World-Wide Web Servers. | Giovanni Vigna, William K. Robertson, Vishal Kher, Richard A. Kemmerer |
| 2003 | ICSE | Cybersecurity. | Richard A. Kemmerer |
| 2003 | ICSE | Internet Security and Intrusion Detection. | Richard A. Kemmerer, Giovanni Vigna |
| 2002 | ACSAC | A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later. | Richard A. Kemmerer |
| 2002 | ACSAC | Composable Tools For Network Discovery and Security Analysis. | Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richard A. Kemmerer |
| 2002 | SP | Stateful Intrusion Detection for High-Speed Networks. | Christopher Krgel, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer |
| 2001 | COCOON | Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer |
| 2001 | RAID | Designing a Web of Highly-Configurable Intrusion Detection Sensors. | Giovanni Vigna, Richard A. Kemmerer, Per Blix |
| 2001 | STACS | On Presburger Liveness of Discrete Timed Automata. | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
| 2000 | ACSAC | Implementing Security Policies using the Safe Areas of Computation Approach. | Andr L. M. dos Santos, Richard A. Kemmerer |
| 2000 | CAV | Binary Reachability Analysis of Discrete Pushdown Timed Automata. | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su |
| 2000 | FASE | Parallel Refinement Mechanisms for Real-Time Systems. | Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli |
| 2000 | ICSE | Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. | Zhe Dang, Richard A. Kemmerer |
| 2000 | ISSTA | Classification schemes to aid in the analysis of real-time systems. | Paul Z. Kolano, Richard A. Kemmerer |
| 2000 | MFCS | Conter Machines: Decidable Properties and Applications to Verification Problems. | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
| 1999 | ACSAC | Safe Areas of Computation for Secure Computing with Insecure Applications. | Andr L. M. dos Santos, Richard A. Kemmerer |
| 1999 | ICSE | Using the ASTRAL Model Checker to Analyze Mobile IP. | Zhe Dang, Richard A. Kemmerer |
| 1999 | RTCSA | A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. | Zhe Dang, Richard A. Kemmerer |
| 1998 | ACSAC | NetSTAT: A Network-Based Intrusion Detection Approach. | Giovanni Vigna, Richard A. Kemmerer |
| 1998 | ISSTA | The Most Influential Papers from the ISSTA Research Community (Panel). | Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson |
| 1997 | ICFEM | Formally Specifying and Verifying Real-Time Systems. | Richard A. Kemmerer |
| 1996 | ACSAC | A Modular Covert Channel Analysis Methodology for Trusted DG/UX | Richard A. Kemmerer, Tad Taylor |
| 1996 | ISSTA | Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). | Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia |
| 1994 | ISSTA | Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. | Jeffrey Douglas, Richard A. Kemmerer |
| 1993 | ISSTA | The Composability of ASTRAL Realtime Specifications. | Alberto Coen-Porisini, Richard A. Kemmerer |
| 1992 | ACSAC | Penetration state transition analysis: A rule-based intrusion detection approach. | Phillip A. Porras, Richard A. Kemmerer |
| 1991 | SP | Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. | Phillip A. Porras, Richard A. Kemmerer |
| 1990 | DBSEC | A Multilevel Formal Specification of a Mental Health Care Database. | Richard A. Kemmerer |
| 1989 | DBSEC | Formal Specification of a Mental Health Delivery System. | Richard A. Kemmerer |
| 1989 | ICSE | Completely Validated Software. | Richard A. Kemmerer |
| 1987 | CRYPTO | Analyzing Encryption Protocols Using Formal Verification Authentication Schemes. | Richard A. Kemmerer |
| 1987 | DBSEC | Formal Specification and Verification Techniques for Secure Database Systems. | Richard A. Kemmerer |
| 1987 | SP | Using Formal Verification Techniques to Analyze Encryption Protocols. | Richard A. Kemmerer |
| 1986 | EuroCrypt | Analyzing Encryption Protocols Using Formal Verification Techniques. | Richard A. Kemmerer |
| 1986 | SP | An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. | J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young |
| 1983 | SP | SDC Secure Release Terminal Project. | Thomas H. Hinke, Jose Althouse, Richard A. Kemmerer |
| 1982 | SP | A Practical Approach to Identifying Storage and Timing Channels. | Richard A. Kemmerer |
| 1979 | SOSP | Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). | Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek |