Practical Security Properties on Commodity Computing Platforms The uber eXtensible Micro-Hypervisor Framework - Vasudevan, Amit; Vasudevan, Amit (Springer International Publishing : Imprint: Springer, 2019)