Deconstructing Xen
Innovative Instructions and Software Model for Isolated Execution