Arvind Seshadri

13 papers A* 4B 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2011 J jnl
SAKE: Software attestation for key establishment in sensor networks.
Ad Hoc Networks
Arvind Seshadri, Mark Luk, Adrian Perrig
2010 A* conf
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
IEEE Symposium on Security and Privacy
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri
2008 A* conf
How low can you go?: recommendations for hardware-supported minimal TCB code execution.
ASPLOS
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2008 B conf
SAKE: Software Attestation for Key Establishment in Sensor Networks.
DCOSS
Arvind Seshadri, Mark Luk, Adrian Perrig
2008 — ch.
Towards Sound Detection of Virtual Machines.
Botnet Detection
Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn
2007 — conf
Minimal TCB Code Execution.
S&P
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2007 — ch.
Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems.
Malware Detection
Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
2007 A* conf
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes.
SOSP
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig
2007 — conf
Turtles All the Way Down: Research Challenges in User-Based Attestation.
HotSec
Jonathan M. McCune, Adrian Perrig, Arvind Seshadri, Leendert van Doorn
2006 J jnl
Externally verifiable code execution.
Commun. ACM
Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
2006 — conf
SCUBA: Secure Code Update By Attestation in sensor networks.
Workshop on Wireless Security
Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
2005 A* conf
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems.
SOSP
Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla
2004 — conf
SWATT: SoftWare-based ATTestation for Embedded Devices.
S&P
Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla