conftrace_

application validation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

trusted computing base (1) secure execution (1) gpu security (1) trusted execution environment (1) static analysis (1)

Papers

Honeycomb: Secure and Efficient GPU Executions via Static Validation OSDI 2023