PLC EDR: Model Checking Of Logic
Examines PLC EDR: Model Checking Of Logic and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Videos·48 min
Presenters detail vulnerability discovery and exploitation in Which Models For Secure ICS Network Architectures To Adapt To New Usages? by Alexandrine Torrents.
icsnetworkmodel+2
S4 Events·19 min
Security researchers examine technical aspects of Using BOMs to Threat Model A System.
bomthreatmodel+2
S4 Events·29 min
Engineers explore architecture and security mechanisms for Security Issues In Compiled PLC Logic (CoDeSys & ProConOs).
plcissuecompiled+3