conftrace_

relaxed memory hardware

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

data confidentiality (1) confidential computing (1) hardware security (1) virtual machine isolation (1) firmware verification (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