---
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 modiﬁcation attacks, as well as formal veriﬁcation-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



<mark style="background-color: #ff6666">Quote</mark>
> showed


%% end annotations %%

%% Import Date: 2024-08-07T15:34:56.850-04:00 %%
