TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization | IEEE Conference Publication | IEEE Xplore