Search results for "Arvind Seshadri"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Arvind Seshadri, Mark Luk, Adrian Perrig	SAKE: Software attestation for key establishment in sensor networks.	Ad Hoc Networks	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
1	Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn	Towards Sound Detection of Virtual Machines.	Botnet Detection	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	late launch, secure execution, trusted computing
1	Arvind Seshadri, Mark Luk, Adrian Perrig	SAKE: Software Attestation for Key Establishment in Sensor Networks.	DCOSS	2008	DBLP DOI BibTeX RDF	software attestation, sensor networks, Key establishment
1	Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doom, Pradeep K. Khosla	Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems.	Malware Detection	2007	DBLP DOI BibTeX RDF
1	Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri	Minimal TCB Code Execution.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig	SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes.	SOSP	2007	DBLP DOI BibTeX RDF	code attestation, memory virtualization, hypervisor, code injection attacks, preventing, code integrity
1	Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla	Externally verifiable code execution.	Commun. ACM	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	externally-verifiable code execution, secure code update, self-checksumming code, software-based attestation
1	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	DBLP DOI BibTeX RDF	dynamic root of trust, self-check-summing code, software-based code attestation, verifiable code execution, rootkit detection
1	Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla	SWATT: SoftWare-based ATTestation for Embedded Devices.	IEEE Symposium on Security and Privacy	2004	DBLP DOI BibTeX RDF

Publications of "Arvind Seshadri" ( http://dblp.L3S.de/Authors/Arvind_Seshadri )