Publications

3 results for Guerney Hunt

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