[T39] A case for Internet Transparency – the Responsible Internet – Ralph Holz (Universität Münster)
📢 Join Us for an Eye-Opening Cybersecurity Talk! 🚀 On Friday, October 25th, 2024, at 2 PM CET, we are excited to host Ralph Holz from Universität Münster for another edition of TALK.CYBERCNI.fr on "A Case for Internet Transparency - The Responsible Internet." Despite technological advancements, Internet security issues persist, particularly at the infrastructure level. Ralph Holz will discuss why traditional solutions are often ineffective and propose a game-changing approach: Internet...
[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...