| 2010 | SP | 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 |
| 2008 | ASPLOS | 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 |
| 2008 | DCOSS | SAKE: Software Attestation for Key Establishment in Sensor Networks. | Arvind Seshadri, Mark Luk, Adrian Perrig |
| 2007 | SP | Minimal TCB Code Execution. | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri |
| 2007 | SOSP | SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. | Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig |
| 2005 | SOSP | 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 |
| 2004 | SP | SWATT: SoftWare-based ATTestation for Embedded Devices. | Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla |