conftrace_

virtual machine isolation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hardware security (1) firmware verification (1) data confidentiality (1) relaxed memory hardware (1) confidential computing (1) memory protection (1) virtual machine (1) trusted execution environment (1) formal verification (1)

Papers

Design and Verification of the Arm Confidential Compute Architecture OSDI 2022