2 papers
cs.CR2025
ACE: Towards A High-Assurance Isolated Virtualization Environment for RISC-V
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le +6
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.OS2025
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…