Paper: our paper “Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks”, is accepted by RTSS 2022.