Long Lu
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
— EuroS&P 2021
Ruimin Sun
,
Alejandro Mera
,
Long Lu
,
David Choffnes