SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
Conference
Sun, Ruimin, Mera, Alejandro, Lu, Long et al. (2021). SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
. 385-402. 10.1109/EuroSP51992.2021.00034
Sun, Ruimin, Mera, Alejandro, Lu, Long et al. (2021). SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
. 385-402. 10.1109/EuroSP51992.2021.00034