TY  - RPRT
TI  - SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
AU  - Ruimin Sun
AU  - Alejandro Mera
AU  - Long Lu
AU  - David Choffnes
PY  - 2021
UR  - https://arxiv.org/abs/2006.04806
ID  - 2006.04806
ER  -