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

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2021
Source ID
10.1109/eurosp51992.2021.00034

Entities

People

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

Organizations

  • Army Research Office
  • National Science Foundation
  • Northeastern University