Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants

Zeyu Yang, Liang He 0002, Hua Yu, Chengcheng Zhao, Peng Cheng 0001, Jiming Chen 0001. Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants. In Jeremy Gummeson, Sunghoon Ivan Lee, Jie Gao 0001, Guoliang Xing, editors, Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, SenSys 2022, Boston, Massachusetts, November 6-9, 2022. pages 548-562, ACM, 2022. [doi]

Abstract

Abstract is missing.

  翻译: