SWATT: SoftWare-based ATTestation for Embedded Devices. - Arvind Seshadri; Adrian Perrig; Leendert van Doorn; Pradeep K. Khosla (S&P, 2004)

Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. - Arvind Seshadri; Mark Luk; Elaine Shi; Adrian Perrig; Leendert van Doorn; Pradeep K. Khosla (SOSP, 2005)

SCUBA: Secure Code Update By Attestation in sensor networks. - Arvind Seshadri; Mark Luk; Adrian Perrig; Leendert van Doorn; Pradeep K. Khosla (Workshop on Wireless Security, 2006)

Externally verifiable code execution. - Arvind Seshadri; Mark Luk; Adrian Perrig; Leendert van Doorn; Pradeep K. Khosla (Commun. ACM, 2006)

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. - Arvind Seshadri; Mark Luk; Ning Qu; Adrian Perrig (SOSP, 2007)

Minimal TCB Code Execution. - Jonathan M. McCune; Bryan Parno; Adrian Perrig; Michael K. Reiter; Arvind Seshadri (S&P, 2007)

Turtles All the Way Down: Research Challenges in User-Based Attestation. - Jonathan M. McCune; Adrian Perrig; Arvind Seshadri; Leendert van Doorn (HotSec, 2007)

Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems. - Arvind Seshadri; Mark Luk; Adrian Perrig; Leendert van Doorn; Pradeep K. Khosla (Malware Detection, 2007)

How low can you go?: recommendations for hardware-supported minimal TCB code execution. - Jonathan M. McCune; Bryan Parno; Adrian Perrig; Michael K. Reiter; Arvind Seshadri (ASPLOS, 2008)

Towards Sound Detection of Virtual Machines. - Jason Franklin; Mark Luk; Jonathan M. McCune; Arvind Seshadri; Adrian Perrig; Leendert van Doorn (Botnet Detection, 2008)

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. - Jason Franklin; Sagar Chaki; Anupam Datta; Arvind Seshadri (IEEE Symposium on Security and Privacy, 2010)

SAKE: Software attestation for key establishment in sensor networks. - Arvind Seshadri; Mark Luk; Adrian Perrig (Ad Hoc Networks, 2011)