14 citations · 19 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 1 cited
Towards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study
Rongkuan Ma, Qiang Wei, Jingyi Wang +5
Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grid…
cs.PL2022★ 14 cited
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Kun Wang, Jingyi Wang, Christopher M. Poskitt +3
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is cr…