~/talk

Honeycomb: Secure and Efficient GPU Executions via Static Validation

Talkat OSDI 2023 · 2023-07-10..07-12· [security, web-performance]
links:none on file
links:none on file
links:none on file
links:none on file
name:Zibin Liu
links:none on file
links:none on file
name:Cong Wang
links:none on file
links:none on file
links:none on file
slides:none on file

Honeycomb is a software GPU TEE that uses static validation of GPU binaries plus OS-level security monitors to remove the OS and driver from the TCB, prototype targets an AMD RX6900XT, and co-designs with a CPU TEE (AMD SEV-SNP). The system validates 23 applications across five benchmarks, uses polyhedral analysis for kernel memory-range checks, implements fast plaintext shared-device-memory IPC, and shows an 18× smaller TCB, 529× faster IPC, and about 2% overhead on BERT and NanoGPT, demonstrating a practical, working prototype.

AI-written summary · about

  1. 0:00Honeycomb intro and goals
  2. 1:56GPU TEE challenges
  3. 3:01Honeycomb’s GPU TEE design
  4. 5:28GPU assumptions and basics
  5. 6:32Honeycomb architecture
  6. 8:17Security monitors implementation
  7. 8:57Static validation principles
  8. 11:09Efficient IPC validation
  9. 11:53Evaluation results
  10. 13:15Conclusion 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.