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 at MICRO 2023
Fully Homomorphic Encryption for Computer Architects: A Fundamental Characterization Study
- 2023
- MICRO 2023
2nd Workshop on Data Integrity and Secure Cloud Computing (DISCC)
- Pradip Bose
- Jennifer Dworak
- et al.
- 2023
- MICRO 2023