| 2022 | NSPW | Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces. | Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop |
| 2018 | NSPW | Augmenting Machine Learning with Argumentation. | Matt Bishop, Carrie Gates, Karl N. Levitt |
| 2016 | INFOCOM | Privacy-preserving coordination for smart communities. | Parisa Kianmajd, Jeff Rowe, Karl N. Levitt |
| 2016 | NCA | Cost sensitive moving target consensus. | Sisi Duan, Yun Li, Karl N. Levitt |
| 2016 | SP | Is Anybody Home? Inferring Activity From Smart Home Network Traffic. | Bogdan Copos, Karl N. Levitt, Matt Bishop, Jeff Rowe |
| 2014 | SRDS | ByzID: Byzantine Fault Tolerance from Intrusion Detection. | Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang |
| 2013 | NSPW | Towards the realization of a public health system for shared secure cyber-space. | Jeff Rowe, Karl N. Levitt, Mike Hogarth |
| 2012 | COMMA | Arguing About Firewall Policy. | Andy Applebaum, Karl N. Levitt, Jeff Rowe, Simon Parsons |
| 2012 | COMMA | Argument Schemes for Reasoning about Trust. | Simon Parsons, Katie Atkinson, Karen Zita Haigh, Karl N. Levitt, Peter McBurney, Jeff Rowe, Munindar P. Singh, Elizabeth Sklar |
| 2012 | NSPW | Argumentation logic to assist in security administration. | Jeff Rowe, Karl N. Levitt, Simon Parsons, Elizabeth Sklar, Andy Applebaum, Sharmin Jalal |
| 2008 | INFOCOM | iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks. | Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu |
| 2008 | RAID | Optimal Cost, Collaborative, and Distributed Response to Zero-Day Worms - A Control Theoretic Approach. | Senthilkumar G. Cheetancheri, John Mark Agosta, Karl N. Levitt, Shyhtsun Felix Wu, Jeff Rowe |
| 2007 | CCS | A framework for diversifying windows native APIs to tolerate code injection attacks. | Lynette Qu Nguyen, Tufan Demir, Jeff Rowe, Francis Hsu, Karl N. Levitt |
| 2007 | CCS | DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET. | Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt |
| 2007 | DAC | Trusted Hardware: Can It Be Trustworthy? | Cynthia E. Irvine, Karl N. Levitt |
| 2007 | RAID | Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks. | Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop |
| 2006 | DIMVA | Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs. | Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop |
| 2006 | IPCCC | Towards a framework for worm-defense evaluation. | Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein |
| 2006 | NSPW | Sanitization models and their limitations. | Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt |
| 2006 | RAID | DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET. | Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt |
| 2006 | SIGCOMM | A distributed host-based worm detection system. | Senthilkumar G. Cheetancheri, John Mark Agosta, Denver Dash, Karl N. Levitt, Jeff Rowe, Eve M. Schooler |
| 2006 | WETICE | Some Problems in Sanitizing Network Data. | Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt |
| 2005 | RAID | A Specification-Based Intrusion Detection Model for OLSR. | Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt |
| 2004 | NOMS | Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities. | Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan |
| 2004 | RAID | Formal Reasoning About Intrusion Detection Systems. | Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt |
| 2004 | WETICE | How to Sanitize Data. | Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt |
| 2003 | ACSAC | Automated Analysis for Digital Forensic Science: Semantic Integrity Checking. | Tye Stallard, Karl N. Levitt |
| 2003 | ICMLA | Immune System Model for Detecting Web Server Attacks. | Melissa Danforth, Karl N. Levitt |
| 2003 | RAID | Using Specification-Based Intrusion Detection for Automated Response. | Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt |
| 2003 | RAID | Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller. | Marcus Tylutki, Karl N. Levitt |
| 2002 | ACSAC | Detecting and Defending against Web-Server Fingerprinting. | Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt |
| 2002 | ACSAC | Intrusion Detection: Current Capabilities and Future Directions. | Karl N. Levitt |
| 2002 | DSN | The Design and Implementation of an Intrusion Tolerant System. | James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt |
| 2002 | RAID | Learning Unknown Attacks - A Start. | James E. Just, James C. Reynolds, Larry A. Clough, Melissa Danforth, Karl N. Levitt, Ryan Maglich, Jeff Rowe |
| 2001 | RAID | System Health and Intrusion Monitoring Using a Hierarchy of Constraints. | Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt |
| 2000 | DBSEC | Discovery of Multi-Level Security Policies. | Christina Yip Chung, Michael Gertz, Karl N. Levitt |
| 2000 | DSN | A Formal-Specification Based Approach for Protecting the Domain Name System. | Steven Cheung, Karl N. Levitt |
| 1999 | RAID | Misuse Detection in Database Systems Through User Profiling. | Christina Yip Chung, Michael Gertz, Karl N. Levitt |
| 1999 | RAID | Intrusion Detection Inter-component Adaptive Negotiation. | Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu |
| 1998 | DBSEC | The Design and Implementation of a Data Level Database Inference Detection System. | Raymond W. Yip, Karl N. Levitt |
| 1997 | NSPW | Protecting routing infrastructures from denial of service using cooperative intrusion detection. | Steven Cheung, Karl N. Levitt |
| 1997 | SP | Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. | Calvin Ko, Manfred Ruschitzka, Karl N. Levitt |
| 1994 | ACSAC | Property-based testing of privileged programs. | George Fink, Karl N. Levitt |
| 1994 | ACSAC | Automated detection of vulnerabilities in privileged programs by execution monitoring. | Calvin Ko, George Fink, Karl N. Levitt |
| 1993 | CCS | Analysis of an Algorithm for Distributed Recognition and Accountability. | Calvin Ko, Deborah A. Frincke, Terrance Goan, Todd L. Heberlein, Karl N. Levitt, Biswanath Mukherjee, Christopher Wee |
| 1991 | SP | Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. | Jim Alves-Foss, Karl N. Levitt |
| 1991 | RSP | Effectiveness of operating system prototyping from a template: application to MINIX. | Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt |
| 1991 | RSP | An application of template methodology: rapid prototyping of user interface management systems. | Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt |
| 1990 | SP | A Network Security Monitor. | L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber |
| 1990 | RSP | A template for rapid prototyping of operating systems. | Myla Archer, Deborah A. Frincke, Karl N. Levitt |
| 1979 | FM | Writing Simulatable Specifications in SPECIAL. | Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg |
| 1977 | SOSP | Proving Multilevel Security of a System Design. | Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |
| 1976 | ICSE | Software Development and Proofs of Multi-Level Security. | Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |
| 1976 | ICSE | The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. | John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak |
| 1973 | POPL | Reasoning About Programs. | Richard J. Waldinger, Karl N. Levitt |