Arvind Seshadri

According to our database, Arvind Seshadri authored at least 12 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

SAKE: Software attestation for key establishment in sensor networks.

Arvind Seshadri, Mark Luk, Adrian Perrig

Ad Hoc Networks, 2011

2010

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

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2008

Towards Sound Detection of Virtual Machines.

Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn

Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

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

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

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

Proceedings of the Malware Detection, 2007

Turtles All the Way Down: Research Challenges in User-Based Attestation.

Jonathan M. McCune, Adrian Perrig, Arvind Seshadri, Leendert van Doorn

Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Minimal TCB Code Execution.

Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes.

Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2006

Externally verifiable code execution.

Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla

Commun. ACM, 2006

SCUBA: Secure Code Update By Attestation in sensor networks.

Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla

Proceedings of the 2006 ACM Workshop on Wireless Security, 2006

2005

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

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2004

SWATT: SoftWare-based ATTestation for Embedded Devices.

Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla

Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004