Design, verification and implementation of a lightweight remote attestation protocol for process control systems | IEEE Conference Publication | IEEE Xplore