| 2013 | RAID | Detecting Traditional Packers, Decisively. | Denis Bueno, Kevin J. Compton, Karem A. Sakallah, Michael D. Bailey |
| 2005 | SEC | Side Channel Analysis, Fault Injection and Applications - A Computationally Feasible SPA Attack on AES via Optimized Search. | Joel VanLaven, Mark Brehob, Kevin J. Compton |
| 2003 | APSEC | A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. | Wuwei Shen, Kevin J. Compton, James Huggins |
| 2002 | COMPSAC | A Toolset for Supporting UML Static and Dynamic Model Checking. | Wuwei Shen, Kevin J. Compton, James Huggins |
| 1999 | ICALP | Proof Techniques for Cryptographic Protocols. | Kevin J. Compton, Scott D. Dexter |
| 1993 | CSL | The Model Theory of Concurrency. | Kevin J. Compton, Rosario Uceda-Sosa |
| 1992 | CSL | Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. | Thomas Behrendt, Kevin J. Compton, Erich Grdel |
| 1992 | PODS | Queries Are Easier Than You Thought (Probably). | Serge Abiteboul, Kevin J. Compton, Victor Vianu |
| 1988 | LICS | An Algebra and a Logic for NC¹ | Kevin J. Compton, Claude Laflamme |