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

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.

Dato & Tid
torsdag den 9. november 2023, 12.30 - 13.30
Sal
Sal 6
Digital Defense

Slides fra seminar
Slides fra seminaret vil være synlige på denne side, hvis den pågældende taler ønsker at dele dem. Bemærk venligst, at du skal være logget ind for at se dem.