Arvind Seshadri

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Arvind Seshadri, Mark Luk, Adrian Perrig
SAKE: Software attestation for key establishment in sensor networks. Ad Hoc Networks 9 (6) (2011)
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)
Arvind Seshadri, Mark Luk, Adrian Perrig
SAKE: Software Attestation for Key Establishment in Sensor Networks. DCOSS (2008)
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)
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
Minimal TCB Code Execution. IEEE Symposium on Security and Privacy (2007)
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. SOSP (2007)
Jonathan M. McCune, Adrian Perrig, Arvind Seshadri, Leendert van Doorn
Turtles All the Way Down: Research Challenges in User-Based Attestation. HotSec (2007)
Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
Externally verifiable code execution. Commun. ACM 49 (9) (2006)
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)
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)
Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
SWATT: SoftWare-based ATTestation for Embedded Devices. IEEE Symposium on Security and Privacy (2004)