Scalability and accuracy in a large-scale network emulator. - Ken Yocum; Kevin Walsh 001; Amin Vahdat; Priya Mahadevan; Dejan Kostic; Jeffrey S. Chase; David Becker (Comput. Commun. Rev., 2002)

Staged simulation: A general technique for improving simulation scale and performance. - Kevin Walsh 001; Emin Gün Sirer (ACM Trans. Model. Comput. Simul., 2004)

Workshop Report. - Mahesh Balakrishnan 001; Maya Haridasan; Prakash Linga; Hongzhou Liu; Venugopalan Ramasubramanian; Sean C. Rhea; Manpreet Singh; Vidhyashankar Venkatraman; Vivek Vishnumurthy; Kevin Walsh 001; Bernard Wong 001; Ming Zhong 006 (IPTPS, 2005)

Design and implementation of a single system image operating system for ad hoc networks. - Hongzhou Liu; Tom Roeder; Kevin Walsh 001; Rimon Barr; Emin Gün Sirer (MobiSys, 2005)

Fighting peer-to-peer SPAM and decoys with object reputation. - Kevin Walsh 001; Emin Gün Sirer (P2PECON@SIGCOMM, 2005)

The case for an object-based peer-to-peer reputation system. - Kevin Walsh 001; Emin Gün Sirer (SOSP, 2005)

Experience with an Object Reputation System for Peer-to-Peer Filesharing. - Kevin Walsh 001; Emin Gün Sirer (NSDI, 2006)

Device Driver Safety Through a Reference Validation Mechanism. - Dan Williams 001; Patrick Reynolds; Kevin Walsh 001; Emin Gün Sirer; Fred B. Schneider (OSDI, 2008)

Logical attestation: an authorization architecture for trustworthy computing. - Emin Gün Sirer; Willem de Bruijn; Patrick Reynolds; Alan Shieh; Kevin Walsh 001; Dan Williams 001; Fred B. Schneider (SOSP, 2011)

Nexus authorization logic (NAL): Design rationale and applications. - Fred B. Schneider; Kevin Walsh 001; Emin Gün Sirer (ACM Trans. Inf. Syst. Secur., 2011)

Authorization and trust in software systems. - Kevin Walsh 001 (2012)

TLS with trustworthy certificate authorities. - Kevin Walsh 001 (CNS, 2016)

Intra-Cloud and Inter-Cloud Authentication. - Kevin Walsh 001; John Manferdelli (CLOUD, 2017)

Mechanisms for Mutual Attested Microservice Communication. - Kevin Walsh 001; John Manferdelli (UCC (Companion"), 2017)