Amit Vasudevan is a Research Scientist at CyLab, Carnegie Mellon University. He received his Ph.D. and M.S degrees from the Computer Science Department at UT Arlington and spent three years as a Post-doc at Carnegie Mellon University. Before that, he obtained his B.E. 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. He is the principal force behind the design and development of the eXtensible and Modular Hypervisor Framework -- an open-source, clean, bare-bones, formally verifiable hypervisor framework -- which forms the foundation for a new class of (security-oriented) hypervisor-based applications ("hypapps").

Books and Book Chapters

Refereed Publications

Technical Reports


Valid XHTML 1.0 Transitional

Valid CSS!