🚀 Join us LIVE on Friday, Sept 27th, 2024 at 2 PM CET for an exciting talk by Valeria Loscri from INRIA Lille on “Security Aspects in the Evolved IoT-Edge-Cloud Continuum Paradigm”! 🌐
Discover how the IoT-Edge-Cloud shift is changing the security landscape—and why staying ahead is more crucial than ever! 🔒💻
Don’t miss the 45-min talk and engaging live discussion! 🎤💬
👉 https://TALK.CYBERcni.fr/38
📢 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.
🗓 Date: Friday, June 28th, 2024
🕑 Time: 2:00 PM CET
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!
📍 Join the live discussion and be part of the change!
Don’t miss out – mark your calendars and be ready for an enlightening and interactive experience!
#CyberSecurity #CyberPhysicalSystems #FormalMethods #TechTalk #LiveDiscussion #EngageWithExperts
![[T38] Security Aspects in the Evolved IoT-Edge-Cloud Continuum Paradigm – Valeria Loscri](https://talk.cybercni.fr/wp-content/uploads/2024/09/T38-Security-Aspects-in-the-Evolved-IoT-Edge-Cloud-Continuum-Paradigm-Valeria-Loscri-INRIA-Lille-1024x576.jpg)
![[T35] Formally verifying security properties of cyber-physical systems – Mikael Asplund](https://talk.cybercni.fr/wp-content/uploads/2024/06/talk.cybercni.fr_.speaker.slide_._002-1024x576.jpg)