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 …
被引用次数：42 相关文章

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - 2021 IEEE European Symposium …, 2021 - computer.org
Abstract Programmable Logic Controllers (PLCs) play a critical role in the industrial control
systems. Vulnerabilities in PLC programs might lead to attacks causing devastating …
[PDF] researchgate.net

[PDF][PDF] SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - researchgate.net
Control logic programs play a critical role in industrial control systems. A vulnerable control
logic could lead to devastating consequences in the physical processes, as shown in …
[PDF] academia.edu

[PDF][PDF] SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - academia.edu
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 …

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - arXiv preprint arXiv:2006.04806, 2020 - arxiv.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 …
[PDF] nsf.gov

[PDF][PDF] SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera - IEEE European Symposium on Security and Privacy …, 2021 - par.nsf.gov
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 …
[PDF] ruiminsun.com

[PDF][PDF] SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - ruiminsun.com
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 …

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

R Sun, A Mera, L Lu, D Choffnes - arXiv e-prints, 2020 - ui.adsabs.harvard.edu
Abstract Programmable Logic Controllers (PLCs) play a critical role in the industrial control
systems. Vulnerabilities in PLC programs might lead to attacks causing devastating …