11 citations · 11 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
ACE: Towards A High-Assurance Isolated Virtualization Environment for RISC-V
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le +5
Confidential computing has proven its value in cloud environments, but its potential for securing edge and high-end embedded systems (e.g., automotive controllers, cryptographic ac…
cs.CR2023★ 11 cited
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le +2
Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential compu…