11 citations · 11 across the 2 of their papers we have counts for
3 papers
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…
Automatic ISA analysis for Secure Context Switching
Neelu S. Kalani, Thomas Bourgeat, Guerney D. H. Hunt +1
Instruction set architectures are complex, with hundreds of registers and instructions that can modify dozens of them during execution, variably on each instance. Prose-style ISA s…
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…