@misc{indiciaea7f7564afae3,
  title = {Formal Verification of Secure Encrypted Virtualization},
  author = {Hansika Weerasena and Amitabh Das and Prabhat Mishra},
  year = {2026},
  url = {https://arxiv.org/abs/2606.01381},
  note = {Source identifier: 2606.01381}
}