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

cited authors

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

authors

publication date

  • June 9, 2020

webpage

keywords

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