"Separating hypervisor trusted computing base supported by hardware."

Carl Gebhardt, Chris I. Dalton, Allan Tomlinson (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics