On the Impossibility of a Perfect Hypervisor

Mordechai Guri

We establish a fundamental impossibility result for a `perfect hypervisor', one that (1) preserves every observable behavior of any program exactly as on bare metal and (2) adds ze…