@misc{indiciae824863a49388,
  title = {Towards Formal Verification of a TPM Software Stack},
  author = {Yani Ziani and Nikolai Kosmatov and Frédéric Loulergue and Daniel Gracia Pérez and Téo Bernier},
  year = {2023},
  url = {https://arxiv.org/abs/2307.16821},
  note = {Source identifier: 2307.16821}
}