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

> Research article (2021 IEEE European Symposium on Security and Privacy (EuroS&P), 2021) · cited 26× · AI/ML

**Wikidata**: [openalex:W3214091108](https://www.wikidata.org/wiki/openalex:W3214091108)  
**Source**: https://4ort.xyz/entity/sok-attacks-on-industrial-control-logic-and-formal-verification-based-defenses