v1v2v3 (latest)

Towards a Formally Verified Security Monitor for VM-based Confidential Computing

20 August 2023

Papers citing "Towards a Formally Verified Security Monitor for VM-based Confidential Computing"

1 / 1 papers shown

Title
ACE: Confidential Computing for Embedded RISC-V Systems W. Ożga Guerney D. H. Hunt Michael V. Le Lennard Gäher Avraham Shinnar Elaine R. Palmer Hani Jamjoom S. Dragone 43 0 0 19 May 2025