TY  - RPRT
TI  - Towards a Formally Verified Security Monitor for VM-based Confidential Computing
AU  - Wojciech Ozga
AU  - Guerney D. H. Hunt
AU  - Michael V. Le
AU  - Elaine R. Palmer
AU  - Avraham Shinnar
PY  - 2023
DO  - 10.1145/3623652.3623668
UR  - https://arxiv.org/abs/2308.10249
ID  - 2308.10249
ER  -