14 citations · 43 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
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…
Intel TDX Demystified: A Top-Down Approach
Pau-Chen Cheng, Wojciech Ozga, Enriquillo Valdez +5
Intel Trust Domain Extensions (TDX) is a new architectural extension in the 4th Generation Intel Xeon Scalable Processor that supports confidential computing. TDX allows the deploy…