Arvind Seshadri

According to our database1, Arvind Seshadri authored at least 13 papers between 2004 and 2011.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
SAKE: Software attestation for key establishment in sensor networks.
Ad Hoc Networks, 2011

2010
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2008
Towards Sound Detection of Virtual Machines.
Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

SAKE: Software Attestation for Key Establishment in Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2008

How low can you go?: recommendations for hardware-supported minimal TCB code execution.
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.
Proceedings of the Malware Detection, 2007

Turtles All the Way Down: Research Challenges in User-Based Attestation.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Minimal TCB Code Execution.
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.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2006
Externally verifiable code execution.
Commun. ACM, 2006

SCUBA: Secure Code Update By Attestation in sensor networks.
Proceedings of the 2006 ACM Workshop on Wireless Security, 2006

2005
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2004
SWATT: SoftWare-based ATTestation for Embedded Devices.
Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004


  Loading...