Long Cheng, Ke Tian, Danfeng (Daphne) Yao. POSTER: Detection of CPS Program Anomalies by Enforcing Cyber-Physical Execution Semantics. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 2483-2485, ACM, 2017. [doi]
Abstract is missing.