Join Us for an Engaging Cybersecurity Talk!

Workshop
Date de début
Date de fin
Lieu
IRISA Rennes
Orateur
Mikael Asplund from Linköping University
Département principal
D2 - Réseaux, télécommunication et services

Join Us for an Engaging Cybersecurity Talk!

 

We are thrilled to welcome Mikael Asplund from Linköping University for an insightful talk on “Formally Verifying Security Properties of Cyber-Physical Systems.” Discover the critical importance of rigorous development methods in our increasingly connected world and how formal methods can enhance the security of networked systems.

The talk will cover:

  • Challenges and opportunities in using formal methods for cyber-physical systems
  • Translating high-level security requirements into low-level implementations
  • Real-world examples and ongoing challenges

Following the 45-minute presentation, engage directly with Mikael in a lively 45-minute discussion. Bring your questions and ideas to this interactive session and be part of the conversation shaping the future of cyber-physical security!

Image retirée. Join the live discussion and be part of the change!

You are cordially invited to join the free live stream on youtube and LinkedIn! Please share the link https://talk.cybercni.fr/35 with your interested friends!

Trailer: https://youtu.be/oYeVh4vIZYQ
LinkedIN Event: https://www.linkedin.com/events/7206936139524362240/comments/
Facebook Event: https://www.facebook.com/events/7898805550141847/
Youtube: https://www.youtube.com/watch?v=RAiCFhJWH4M&list=PLdftPKA9mTfaDJxqwexil2mPhUFIA9ITd
Stream redirect (for every edition): https://TALK.cyberCNI.fr/stream