You Can't Always Check What You Wanted: Selective Checking and Trusted Execution to Prevent False Actuations in Cyber-Physical Systems.

Monowar HasanSibin Mohan
Published in: CoRR (2023)