@misc{indiciae9aa441ce5387,
  title = {Formal Security Analysis of the AMD SEV-SNP Software Interface},
  author = {Petar Paradžik and Ante Derek and Marko Horvat},
  year = {2025},
  url = {https://arxiv.org/abs/2403.10296},
  note = {Source identifier: 2403.10296}
}