Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation

Arthur Amorim, Trevor Kann, Max Taylor +1

Industrial control systems (ICSs) increasingly rely on digital technologies vulnerable to cyber attacks. Cyber attackers can infiltrate ICSs and execute malicious actions. Individu…