IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing. (arXiv:2303.12817v1 [cs.CR])

Nowadays, industries are looking into virtualization as an effective means to
build safe applications, thanks to the isolation it can provide among virtual
machines (VMs) running on the same hardware. In this context, a fundamental
issue is understanding to what extent the isolation is guaranteed, despite
possible (or induced) problems in the virtualization mechanisms. Uncovering
such isolation issues is still an open challenge, especially for
hardware-assisted virtualization, since the search space should include all the
possible VM states (and the …

applications build challenge context enable framework fuzzing hardware isolation issue machines problems replay safe understanding virtual virtualization virtual machines vms