Formal methods: Securing iot-systems from the ever-increasing cyber threat

In the current international political climate and global tensions, the cyber-threat to critical infrastructure has never been greater and the attackers never more sophisticated.

Against this backdrop, cyber-security has become essential not only for critical systems but for any system or application and especially those connected to the Internet such as (all) IoT systems. Such systems must be ""secure by design"" and developed to be highly dependable and trustworthy.

Date & Time
Thursday, November 9, 2023, 12:30 PM - 1:30 PM
Theater 6
Digital Defense

Slides from presentation
Slides from the presentation will be visible on this site if the speaker in question wishes to share them.
Please note that you need to be signed in in order to see them.