conftrace_

firmware verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hardware security (1) virtual machine isolation (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