According to our database1, Arvind Seshadri authored at least 12 papers between 2004 and 2010.
Legend:Book In proceedings Article PhD thesis Other
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
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
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
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
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
SWATT: SoftWare-based ATTestation for Embedded Devices.
Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004