Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.

Zeyu Yang, Liang He, Hua Yu, Chengcheng Zhao, Peng Cheng, Jiming Chen

Browse the full SENSYS paper archive.