Arvind Seshadri
Publications
Former Projects
I am a doctoral candidate in the
department of Electrical and Computer Engineering and am jointly advised by Pradeep
Khosla and Adrian
Perrig. I also work with Leendert van Doorn.
My research interest lies in the area of Computer Systems Security. My current research focuses on externally-verifiable
code execution, trusted computing, and the security applications of virtualization. I am also interested in Network Security and Applied Cryptography. I am affiliated with the CyLab.
My office is at CIC 2119C.
You can best reach me via e-mail: arvinds(at)cs(dot)cmu(dot)edu
I hold an MS in Electrical Engineering
from the University of Southern California,
and a B.E. (Hons.) in Computer Science and M.Sc. (Hons.) in Physics from
the Birla Institute of
Technology and Science, India.
Publications
Book Chapters
- Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn,
and Pradeep Khosla.
Pioneer:Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems.
Appears in the Malware Detection.
- Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri,
Adrian Perrig, and Leendert Van Doorn.
Remote Detection of Virtual Machine Monitors with Fuzzy Benchmarking. [PDF], [PS], [BIB]
Appears in the ACM SIGOPS Operating System Review Special Edition on Computer Forensics, April 2008 (Invited paper).
A preliminary version of this paper appears as CMU Cylab Technical Report CMU-CyLab-07-001.
- Arvind Seshadri, Mark Luk, and Adrian Perrig.
SAKE: Software Attestation for Key Establishment in Sensor Networks. [PDF], [PS], [BIB]
Appears in the 2008 International Conference on Distributed Computing in Sensor Systems (DCOSS)).
- Jonathan M. McCune, Bryan Parno, Adrian Perrig, Mike K. Reiter, and Arvind Seshadri.
How Low Can You Go? Recommendations for Hardware-Supported Minimal TCB Code Execution. [PDF], [PS], [BIB]
Appears in the 2008 Architectural Support for Programming Languages and Operating Systems (ASPLOS).
- Arvind Seshadri, Mark Luk, Ning Qu, and Adrian Perrig.
SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes. [PDF], [PS], [BIB]
Appears in the 21st ACM Symposium on Operating Systems Principles (SOSP 2007).
- Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri.
Minimal TCB Code Execution (Extended Abstract). [PDF], [PS], [BIB]
Appears in the 2007 IEEE Symposium on Security and Principles.
- Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert
van Doorn and Pradeep Khosla.
Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems. [PDF], [PS], [BIB]
Appears in the 20th ACM Symposium on Operating Systems Principles (SOSP 2005).
- Arvind Seshadri, Adrian Perrig, Leendert van Doorn and Pradeep
Khosla.
SWATT: SoftWare-based ATTestation for Embedded Devices. [PDF],[PS], [BIB]
Appears in the 2004 IEEE Symposium on Security and Privacy.
- Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn,
and Pradeep Khosla.
Externally-verifiable Code Execution. [DOC], [BIB]
Appears in the Communications of the ACM (CACM), Sept 2006.
- Jonathan M. McCune, Adrian Perrig, Arvind Seshadri, and Leendert
van Doorn.
Turtles All the Way Down: Research Challenges in User-Based Attestation. [PDF], [PS], [BIB]
Appears in the USENIX Workshop on Hot Topics in Security (HotSec '07).
- Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn and Pradeep
Khosla.
SCUBA: Secure Code Update By Attestation in Sensor Networks. [PDF], [PS], [BIB]
Appears in the ACM Workshop on Wireless Security (WiSe 2006).
- Arvind Seshadri, Adrian Perrig, Leendert van Doorn and Pradeep
Khosla.
Using SWATT for Verifying Embedded Systems in Cars. [PDF], [PS], [BIB]
Appears in the 2004 Embedded Security in Cars Workshop (escar 2004).
- Jason Franklin, Mark Luk,
Arvind Seshadri, and Adrian Perrig.
PRISM: Enabling Personal Verification of Code Integrity, Untampered Execution, and Trusted I/O or Human-Verifiable Code Execution. [PDF]
CMU Cylab Technical Report CMU-CyLab-07-010, February 2007.
- Jason Franklin, Mark Luk,
Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, and Leendert van
Doorn.
Remote Detection of Virtual Machine Monitors with Fuzzy Benchmarking. [PDF]
CMU Cylab Technical Report CMU-CyLab-07-001, January 2007.
- Arvind Seshadri, Marcos
Ferretti, Andres Castano and Peter Will.
A Distributed Embedded System for Modular Self-Reconfigurable Robots. [PDF]
ISI Technical Report ISI-TR-551, Dec 2001.
- Arvind
Seshadri.
Pioneer: Dynamic Root of Trust for Measurement and Verifiable Executable Invocation. PPT
2005 Intel Security Workshop (ISW '05). July 27 - 28, 2005.