You Can't Always Check What You Wanted: Selective Checking and Trusted Execution to Prevent False Actuations in Cyber-Physical Systems. (arXiv:2304.13956v1 [cs.CR])

Cyber-physical systems (CPS) are vulnerable to attacks targeting outgoing
actuation commands that modify their physical behaviors. The limited resources
in such systems, coupled with their stringent timing constraints, often
prevents the checking of every outgoing command. We present a "selective
checking" mechanism that uses game-theoretic modeling to identify the right
subset of commands to be checked in order to deter an adversary. This mechanism
is coupled with a "delay-aware" trusted execution environment (TEE) to ensure
that only verified actuation commands …

adversary attacks aware check command constraints cps cyber environment game identify modeling order physical resources systems targeting trusted execution environment verified vulnerable