| 2017 | UCC | Mechanisms for Mutual Attested Microservice Communication. | Kevin Walsh, John Manferdelli |
| 2011 | SOSP | Logical attestation: an authorization architecture for trustworthy computing. | Emin Gn Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider |
| 2008 | OSDI | Device Driver Safety Through a Reference Validation Mechanism. | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gn Sirer, Fred B. Schneider |
| 2006 | NSDI | Experience with an Object Reputation System for Peer-to-Peer Filesharing. | Kevin Walsh, Emin Gn Sirer |
| 2005 | Mobisys | Design and implementation of a single system image operating system for ad hoc networks. | Hongzhou Liu, Tom Roeder, Kevin Walsh, Rimon Barr, Emin Gn Sirer |
| 2005 | SIGCOMM | Fighting peer-to-peer SPAM and decoys with object reputation. | Kevin Walsh, Emin Gn Sirer |
| 2005 | SOSP | The case for an object-based peer-to-peer reputation system. | Kevin Walsh, Emin Gn Sirer |
| 2003 | WSC | Staged simulation for improving scale and performance of wireless network simulations. | Kevin Walsh, Emin Gn Sirer |
| 2002 | OSDI | Scalability and Accuracy in a Large-Scale Network Emulator. | Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostic, Jeffrey S. Chase, David Becker |