TY  - RPRT
TI  - Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
AU  - Taylor, Max [Idaho National Laboratory]
AU  - Joneckis, Lance Gregory [Idaho National Laboratory]
AU  - Kann, Trevor [Carnegie Mellon University]
AU  - Amorim, Arthur [University of Central Florida]
PY  - 2024
UR  - https://www.osti.gov/biblio/2497312
ID  - 2497312
ER  -