2 citations · 2 across the 3 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…
Scalable Attestation of Virtualized Execution Environments in Hybrid- and Multi-Cloud
Wojciech Ozga, Patricia Sagmeister, Tamás Visegrády +1
Existing attestation mechanisms lack scalability and support for heterogeneous virtual execution environments (VEEs), such as virtual machines and containers executed inside or out…
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing
Wojciech Ozga, Rasha Faqeh, Do Le Quoc +3
High-assurance security systems require strong isolation from the untrusted world to protect the security-sensitive or privacy-sensitive data they process. Existing regulations imp…