Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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