POSTER: Detection of CPS Program Anomalies by Enforcing Cyber-Physical Execution Semantics.

Long Cheng, Ke Tian, Danfeng (Daphne) Yao

Browse the full CCS paper archive.