| 2011 | ||
|---|---|---|
| j2 | Arvind Seshadri, Mark Luk, Adrian Perrig: SAKE: Software attestation for key establishment in sensor networks. Ad Hoc Networks 9(6): 1059-1067 (2011) | |
| 2010 | ||
| c8 | Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri: Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy 2010: 365-379 | |
| 2008 | ||
| c7 | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri: How low can you go?: recommendations for hardware-supported minimal TCB code execution. ASPLOS 2008: 14-25 | |
| c6 | Arvind Seshadri, Mark Luk, Adrian Perrig: SAKE: Software Attestation for Key Establishment in Sensor Networks. DCOSS 2008: 372-385 | |
| p2 | Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn: Towards Sound Detection of Virtual Machines. Botnet Detection 2008: 89-116 | |
| 2007 | ||
| c5 | Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig: SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. SOSP 2007: 335-350 | |
| c4 | Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri: Minimal TCB Code Execution. IEEE Symposium on Security and Privacy 2007: 267-272 | |
| p1 | Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doom, Pradeep K. Khosla: Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems. Malware Detection 2007: 253-289 | |
| 2006 | ||
| j1 | Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla: Externally verifiable code execution. Commun. ACM 49(9): 45-49 (2006) | |
| c3 | Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla: SCUBA: Secure Code Update By Attestation in sensor networks. Workshop on Wireless Security 2006: 85-94 | |
| 2005 | ||
| c2 | Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla: Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. SOSP 2005: 1-16 | |
| 2004 | ||
| c1 | Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla: SWATT: SoftWare-based ATTestation for Embedded Devices. IEEE Symposium on Security and Privacy 2004: 272- | |
Data released under the ODC-BY 1.0 license — See also our legal information page