IEEE EuroS&P 2021 - Sok: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

Name: IEEE EuroS&P 2021 - Sok: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
Uploaded: 2021-01-01
Duration: 10 min 12 s
Description: IEEE EuroS&P 2021 - Sok: Attacks on Industrial Control Logic and Formal Verification-Based Defenses — a 2021 IEEE European Symposium on Security and Privacy security conference talk on ics-ot (10:12 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE European Symposium on Security and Privacy · 2021 · 10:12

▶

IEEE EuroS&P 2021 - Sok: Attacks on Industrial Control Logic and Formal Verification-Based Defenses — a 2021 IEEE European Symposium on Security and Privacy security conference talk on ics-ot (10:12 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

ics-ot

← Back to the Breach Arc Archive