~/talk

SAGE: Software-based Attestation for GPU Execution

Talkat USENIX ATC '23 · 2023-07-10..07-12· [security]
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Software-only attestation that runs on NVIDIA A100 (Ampere) GPUs and pairs with a CPU SGX verifier to prove code and data integrity and secrecy. Implements a hand-crafted, reverse-engineered 428-instruction verification function that fills registers and caches, runs in parallel across SMs, and detects single-instruction tampering by timing a 100,000 iterations checksum loop. Prototype achieves ~0.494 s verification (99% peak) but tougher cache-coherency defenses push some variants to ~12 s; end-to-end ML overheads stay below ~13%.

AI-written summary · about

  1. 0:00Introduction
  2. 1:48Software-based GPU attestation
  3. 3:36Root of trust in SAGE
  4. 5:43GPU attestation challenges
  5. 7:29SAGE architecture
  6. 9:17Verification function design
  7. 12:07Parallel checksum in SAGE
  8. 14:13Single-instruction attack detection
  9. 16:43Memory copy attack defense
  10. 18:48Performance trade-offs
  11. 20:12Performance evaluation
  12. 21:39Conclusion
~/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.