@misc{indiciaeb075d5c51728,
  title = {Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation},
  author = {Arthur Amorim and Trevor Kann and Max Taylor and Lance Joneckis},
  year = {2024},
  url = {https://arxiv.org/abs/2412.14467},
  note = {Source identifier: 2412.14467}
}