~/talk

Security and Performance in the Delegated User-level Virtualization

Talkat OSDI 2023 · 2023-07-10..07-12· [security]
links:none on file
name:Dingji Li
links:none on file
name:Zeyu Mi
links:none on file
links:none on file
links:none on file
slides:none on file

Proposes moving the VM plane out of the kernel so all host‑attacking hypervisor CVEs no longer run in kernel mode, implemented as a 481-line Chisel DV extension and a Rust DuVisor (≈7k LOC) with a 337-line kernel driver, evaluated on FireSim with a RISC‑V Rocket prototype. Results show stage‑2 page‑fault handling 65–89% faster, MMIO emulation ~10× faster, overall guest performance within a few percent of native/optimized KVM, and the host remains protected even if the user hypervisor is compromised.

AI-written summary · about

  1. 0:00Delegated virtualization intro
  2. 1:13Virtualization evolution and risks
  3. 3:01Why prior solutions failed
  4. 4:26Proposed architecture
  5. 5:31Threat model and hardware
  6. 6:13DV extension operation
  7. 6:57Physical memory checking
  8. 7:40Implementation details
  9. 8:22Security against malicious guests
  10. 9:27Performance setup and baseline
  11. 10:29Benchmark results
  12. 11:33Conclusion and future
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.