USENIX Security '25 - A Comprehensive Formal Security Analysis of OPC UA
▶USENIX Security '25 - A Comprehensive Formal Security Analysis of OPC UA — a USENIX security conference talk on ics-ot, crypto (17:32 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube