TY  - RPRT
TI  - Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
AU  - Arthur Amorim
AU  - Trevor Kann
AU  - Max Taylor
AU  - Lance Joneckis
PY  - 2024
UR  - https://arxiv.org/abs/2412.14467
ID  - 2412.14467
ER  -