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

Ruimin Sun Alejandro Mera Long Lu David R. Choffnes

Published in: EuroS&P (2021)

Keyphrases

formal verification
bounded model checking
model checker
model checking
control system
denial of service attacks
automated verification
symbolic model checking
modal logic
watermarking scheme
automated reasoning
dos attacks
logic programming
program slicing