conftrace_

language safety

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

rust language (1) fault isolation (1) device driver (1) operating system (1)

Papers

RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020