Sun, Ruimin, Mera, Alejandro, Lu, Long
et al. (2020). SoK: Attacks on Industrial Control Logic and Formal Verification-Based
Defenses
.
Sun, Ruimin, Mera, Alejandro, Lu, Long et al. (2020). SoK: Attacks on Industrial Control Logic and Formal Verification-Based
Defenses
.