--- category: literaturenote tags: citekey: sunSoKAttacksIndustrial2021 status: unread dateread: --- > [!Cite] > [1] R. Sun, A. Mera, L. Lu, and D. Choffnes, “SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses,” Mar. 23, 2021, _arXiv_: arXiv:2006.04806. Accessed: May 16, 2022. [Online]. Available: [http://arxiv.org/abs/2006.04806](http://arxiv.org/abs/2006.04806) >[!Synth] >**Contribution**:: > >**Related**:: > >[!md] > **FirstAuthor**:: Sun, Ruimin > **Author**:: Mera, Alejandro > **Author**:: Lu, Long > **Author**:: Choffnes, David ~ > **Title**:: SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses > **Year**:: 2021 > **Citekey**:: sunSoKAttacksIndustrial2021 > **itemType**:: preprint > [!LINK] > > [Sun et al. - 2021 - SoK Attacks on Industrial Control Logic and Forma.pdf](file:///home/danesabo/Zotero/storage/KSAQEB8Q/Sun%20et%20al.%20-%202021%20-%20SoK%20Attacks%20on%20Industrial%20Control%20Logic%20and%20Forma.pdf) > [Sun et al. - 2021 - SoK Attacks on Industrial Control Logic and Forma.pdf](file:///home/danesabo/Zotero/storage/HYUB6R2T/Sun%20et%20al.%20-%202021%20-%20SoK%20Attacks%20on%20Industrial%20Control%20Logic%20and%20Forma.pdf). > [!Abstract] > > 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 the critical infrastructure, as shown in Stuxnet and similar attacks. In recent years, we have seen an exponential increase in vulnerabilities reported for PLC control logic. Looking back on past research, we found extensive studies explored control logic modification attacks, as well as formal verification-based security solutions. >. > # Notes > >Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification. # Annotations%% begin annotations %% ### Imported: 2024-08-07 3:34 pm Quote > showed %% end annotations %% %% Import Date: 2024-08-07T15:34:56.850-04:00 %%