uberXMHF · uber eXtensible Micro-Hypervisor Framework
uberSpark · Modular Provable Security on Commodity System Software Stacks
Description: Amit Vasudevan is a Computer Scientist at SEI, CMU. His R&D focuses on: Building Provably Secure and Trustworthy Computing Systems
Building Provably Secure and Trustworthy Computing Systems
Amit Vasudevan is a Computer Scientist at the Software Engineering Institute (SEI), Carnegie Mellon University (CMU).
He received his Ph.D. and M.S degrees from the Computer Science Department at UT Arlington and spent three years as a Post-doctoral fellow at CyLab, Carnegie Mellon University. Before that, he obtained his B.E. from the Computer Science Department at the BMS College of Engineering, Bangalore, India.
uberXMHF · uber eXtensible Micro-Hypervisor Framework
uberSpark · Modular Provable Security on Commodity System Software Stacks