@misc{indiciae128b8f2eb2e5, title = {Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems}, author = {Long Cheng and Ke Tian and Danfeng Yao and Lui Sha and Raheem A. Beyah}, year = {2019}, url = {https://arxiv.org/abs/1805.00074}, note = {Source identifier: 1805.00074} }