[HTML][HTML] A Survey on Programmable Logic Controller Vulnerabilities, Attacks, Detections, and Forensics

Z Wang, Y Zhang, Y Chen, H Liu, B Wang, C Wang - Processes, 2023 - mdpi.com
Programmable Logic Controllers (PLCs), as specialized task-oriented embedded field
devices, play a vital role in current industrial control systems (ICSs), which are composed of …

A survey of practical formal methods for security

T Kulik, B Dongol, PG Larsen, HD Macedo… - Formal aspects of …, 2022 - dl.acm.org
In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

Security of programmable logic controllers and related systems: today and tomorrow

W Alsabbagh, P Langendörfer - IEEE Open Journal of the …, 2023 - ieeexplore.ieee.org
Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

PCaaD: Towards automated determination and exploitation of industrial systems

B Green, R Derbyshire, M Krotofil, W Knowles… - Computers & …, 2021 - Elsevier
Over the last decade, Programmable Logic Controllers (PLCs) have been increasingly
targeted by attackers to obtain control over industrial processes that support critical services …

[HTML][HTML] Walking under the ladder logic: PLC-VBS: a PLC control logic vulnerability scanning tool

S Maesschalck, A Staves, R Derbyshire, B Green… - Computers & …, 2023 - Elsevier
Cyber security risk assessments provide a crucial starting point towards the understanding
of existing risk exposure, via which suitable mitigation strategies can be formed. Risk is …

Denial of engineering operations attacks in industrial control systems

S Senthivel, S Dhungana, H Yoo, I Ahmed… - Proceedings of the …, 2018 - dl.acm.org
We present a new type of attack termed denial of engineering operations in which an
attacker can interfere with the normal cycle of an engineering operation leading to a loss of …

SoK: Attacks on industrial control logic and formal verification-based defenses

R Sun, A Mera, L Lu, D Choffnes - 2021 IEEE European …, 2021 - ieeexplore.ieee.org
Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

Automated reconstruction of control logic for programmable logic controller forensics

SA Qasim, J Lopez, I Ahmed - … Conference, ISC 2019, New York City, NY …, 2019 - Springer
This paper presents Similo, an automated scalable framework for control logic forensics in
industrial control systems. Similo is designed to investigate denial of engineering operations …

Control Logic Attack Detection and Forensics through Reverse-engineering and Verifying PLC Control Applications

Y Geng, X Che, R Ma, Q Wei, M Wang… - IEEE Internet of Things …, 2023 - ieeexplore.ieee.org
Industrial control systems (ICSs) are prevalent in critical infrastructures, where
programmable logic controllers (PLCs) and physical instruments are integrated. However …

[PDF][PDF] Snakes and ladder logic: Plc-vbs, a plc control logic vulnerability discovery tool

S Maesschalck, A Staves, R Derbyshire… - arXiv preprint arXiv …, 2022 - researchgate.net
Cyber security risk assessments provide a pivotal starting point towards the understanding
of existing risk exposure, through which suitable mitigation strategies can be formed. Where …