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

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

cited authors

  • Sun, Ruimin; Mera, Alejandro; Lu, Long; Choffnes, David

authors

publication date

  • June 9, 2020

webpage

keywords

  • A.1; C.3
  • cs.CR