Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.

Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis

Browse the full ACSAC paper archive.