[T38] Security Aspects in the Evolved IoT-Edge-Cloud Continuum Paradigm – Valeria Loscri
🚀 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...
[T35] Formally verifying security properties of cyber-physical systems – Mikael Asplund
📢 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 opportunit...