@misc{indiciae76c80b91f14b,
  title = {State Machine Model for The Update Framework (TUF)},
  author = {Brian Romansky and Thomas Mazzuchi and Shahram Sarkani},
  year = {2025},
  url = {https://arxiv.org/abs/2502.18092},
  note = {Source identifier: 2502.18092}
}