Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
Date
Featured collections
Popular topics
3 results for Guerney Hunt
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021
An Architecture for Heterogeneous High-Performance Computing Systems: Motivation and Requirements
- Christoph Hagleitner
- Charles Johns
- et al.
- 2023
- IEEE JVA Symposium 2023