Virtualization

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
Nested virtualization is now widely supported by major cloud vendors, allowing users to leverage virtualization-based technologies in …
Cite DOI arXiv
Sagitta: Facilitating Post-Fuzzing Root Cause Analysis via Data Flow Differencing
Fuzzing is an effective technique to discover software vulnerabilities by automatically generating large volumes of inputs that may …
Cite Slides DOI
BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines
Confidential virtual machines (CVMs) are an emerging form of trusted execution environment that enable existing operating systems (OSs) …
Cite Slides DOI