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

Open Access

cited authors

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

sustainable development goals

authors

date/time interval

  • September 6, 2021 -

publication date

  • January 1, 2021

keywords

  • AUTOMATIC VERIFICATION
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Interdisciplinary Applications
  • MODEL CHECKING
  • PLC
  • PLC PROGRAMS
  • SYSTEMS
  • Science & Technology
  • TRANSLATION
  • Technology
  • attack
  • formal verification

Location

  • ELECTR NETWORK

Digital Object Identifier (DOI)

Conference

  • 6th IEEE European Symposium on Security and Privacy (Euro S and P)

publisher

  • IEEE

start page

  • 385

end page

  • 402