Skip to main content

Amit Vasudevan

Research Systems Scientist, CyLab

[Email]

Research Areas

Secure Home Computing, Security of Cyber-Physical Systems, Trustworthy Computing Platforms and Devices

Cross Cutting Thrusts

Cryptography, Formal Methods, Software Security, Threat Analysis and Modeling

Biography

Amit Vasudevan is a Research Systems Scientist at CyLab, Carnegie Mellon University. He received his PhD and MS degrees from the Computer Science Department at UT Arlington and spent three years as a Post-doc at Carnegie Mellon University. He obtained his BE degree from the Computer Science Department at the BMS College of Engineering, India. His research interests include secure systems, virtualization, trusted computing, malware analysis and operating systems. His present research focuses on hypervisor-based trustworthy code execution and formal verification methodologies. Visit Dr. Vasudevan's website for more information for a full listing of his projects, papers, talks, etc.

Research Projects

Compositional Security

Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Formal Methods | Software Security
Researchers: Anupam Datta, Limin Jia, Amit Vasudevan, Sagar Chaki

Trustworthy Computing Platforms and Devices

Research Area: Trustworthy Computing Platforms and Devices
Researchers: Virgil Gligor, Anupam Datta, Adrian Perrig, Amit Vasudevan, Limin Jia

Verifiable Properties of Computations Outsourced to the Cloud

Cross Cutting Thrusts: Cryptography
Researchers: Virgil Gligor, Anupam Datta, Amit Vasudevan

Trustworthy Execution Environments on Mobile Devices

Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security | Threat Analysis and Modeling
Researchers: Amit Vasudevan, Adrian Perrig, James Newsome, Jonathan McCune

Lockdown: A Safe and Practical Environment for Security Applications

Research Area: Secure Home Computing | Trustworthy Computing Platforms and Devices
Researchers: Virgil Gligor, Adrian Perrig, Amit Vasudevan

XTREC: Secure Real-time Execution Trace Recording and Analysis on Commodity Platforms

Research Area: Trustworthy Computing Platforms and Devices | Security of Cyber-Physical Systems
Cross Cutting Thrusts: Software Security
Researchers: Adrian Perrig, Virgil Gligor, Amit Vasudevan

Trusted Computing

Research Area: Trustworthy Computing Platforms and Devices
Researchers: Anupam Datta, Adrian Perrig, Virgil Gligor, Amit Vasudevan

Publications

" Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture". Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leendert van Doorn, Adrian Perrig. TRUST 2010: 141-165

"MalTRAK: Tracking and Eliminating Unknown Malware". Amit Vasudevan, ACSAC 2008: 311-321