Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems

Long Cheng 0005, Ke Tian, Danfeng Daphne Yao, Lui Sha, Raheem A. Beyah. Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. IEEE Trans. Dependable Sec. Comput., 18(2):825-842, 2021. [doi]

Abstract

Abstract is missing.