Design and provability of a statically configurable hypervisor

Jan Nordholz. Design and provability of a statically configurable hypervisor. PhD thesis, Technical University of Berlin, Germany, 2017. [doi]

Abstract

Abstract is missing.