Optimizing Proof of Aliveness in Cyber-Physical Systems

Zheng Yang 0001, Chenglu Jin, Xuelian Cao, Marten van Dijk, Jianying Zhou 0001. Optimizing Proof of Aliveness in Cyber-Physical Systems. IEEE Trans. Dependable Sec. Comput., 21(4):3610-3628, July - August 2024. [doi]

Abstract

Abstract is missing.