Honeycomb: Secure and Efficient GPU Executions via Static Validation

 February 8, 2024 at 1:28 pm

OSDI'23

  • Huge implementation effort
  • Type 1 hypervisor
  • Static analysis (validator-based)
  • Still need to rely on the driver (but not fully trust it)