conftrace_

confidential virtual machine

2 papers

Explore in graph

Also known as

CVM

Co-occurring keywords · papers mentioning both

secure information flow (1) nested confidential execution (1) lightweight libo (1) trusted computing base (1) rust programming language (1) memory safety (1) confidential computing (1) serverless computing (1) formal verification (1)

Papers

Wallet: Confidential Serverless Computing NSDI 2026 VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024