Practical Security Properties on Commodity Computing Platforms The uber eXtensible Micro-Hypervisor Framework Vasudevan Amit Heftet / 2019 / Engelsk