@misc{indiciae7277930a7e72,
  title = {Towards a Formally Verified Security Monitor for VM-based Confidential Computing},
  author = {Wojciech Ozga and Guerney D. H. Hunt and Michael V. Le and Elaine R. Palmer and Avraham Shinnar},
  year = {2023},
  doi = {10.1145/3623652.3623668},
  url = {https://arxiv.org/abs/2308.10249},
  note = {Source identifier: 2308.10249}
}