[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 …
devices, play a vital role in current industrial control systems (ICSs), which are composed of …
A survey of practical formal methods for security
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 …
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 …
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 …
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
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 …
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 …
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
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 …
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …
Automated reconstruction of control logic for programmable logic controller forensics
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 …
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 …
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
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 …
of existing risk exposure, through which suitable mitigation strategies can be formed. Where …