@misc{indiciae7729db58426c,
  title = {Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation},
  author = {Taylor, Max [Idaho National Laboratory] and Joneckis, Lance Gregory [Idaho National Laboratory] and Kann, Trevor [Carnegie Mellon University] and Amorim, Arthur [University of Central Florida]},
  year = {2024},
  url = {https://www.osti.gov/biblio/2497312},
  note = {Source identifier: 2497312}
}