Save what must be saved: Secure context switching with Sailor
- Neelu Shivprakash Kalani
- Thomas Bourgeat
- et al.
- 2025
- USENIX Security 2025
Publications
4 results for Guerney Hunt
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
An Architecture for Heterogeneous High-Performance Computing Systems: Motivation and Requirements
- Christoph Hagleitner
- Charles Johns
- et al.
- 2023
- IEEE JVA Symposium 2023
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021