Schlagwort-Archive: CyberThreats
[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
Mehr[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 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
Mehr