Chaire Cyber CNI

Chaire Cyber CNI – Cybersecurity for Critical Networked Infrastructures

[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

Securing Autonomous and Connected Vehicles: Cybersecurity Challenges, Mohammad Hamad (TUM)

🔒 Excited to share insights from Mohammad Hamad’s talk on “Securing Autonomous and Connected Vehicles: Cybersecurity Challenges” at IMT Atlantique! Learn about innovative solutions and collaborative projects tackling cybersecurity threats in the automotive industry. #Cybersecurity #AutonomousVehicles #ConnectedVehicles #Research #TechTalk

Visit from Paris!

The chaire Chaire Cyber CNI Cybersécurité des Infrastructures Critiques unites researchers and students from IMT Atlantique, Télécom Paris, and Télécom SudParis. At the beginning of June, Thomas Robert and Luis Soreiro from our Télécom Paris part came over to Rennes to present their current research. We had a very nice discussion around #software #supply chains and the dependency management within. We are already looking forward to the next exchange rounds!

Luis is a PhD student of the third wave of the chaire. He is working on the topic “CodeLedger – tracking the provenance of #software #source #components.”

We won the NOMS 2023 Best Demo Award!

Our paper “Distributed Device-Specific Anomaly Detection for Resource-Constrained Devices” by Christian Lübben and Marc-Oliver Pahl won the NOMS 2023 demo award! The demo showed how anomaly detection can be distributed on multiple devices, allowing a low latency resource-efficient detection of anomalies. It was selected out of 9 demos from different actors from industry and academia. What a great success!

View More