@misc{indiciae23396ccbcc51,
  title = {A Formally Verified Configuration for Hardware Security Modules in the Cloud},
  author = {Riccardo Focardi and Flaminia L. Luccio},
  year = {2021},
  doi = {10.1145/3460120.3484785},
  url = {https://arxiv.org/abs/2109.13631},
  note = {Source identifier: 2109.13631}
}