Chaire Cyber CNI

Chaire Cyber CNI – Cybersecurity for Critical Networked Infrastructures


We are hiring VR experts to work with us on better interfaces for Cybersecurity

Please share: We are hiring VR experts to work with us on better interfaces for Cybersecurity! You are knowledgable in VR systems, and / or cybersecurity and want to research on the intersection between the two for creating better interfaces for Cybersecurity? You search for a PostDoc? Then apply! If you have a friend who also wants to join you even better as we have two open positions!

Innovative Approaches in Anomaly Detection: Insights from the EPITA and IMT Atlantique Seminar

Excited to share highlights from the EPITA and IMT Atlantique research exchange seminar on anomaly detection in cybersecurity! Brilliant minds from both institutions presented cutting-edge techniques and fostered insightful discussions. Looking forward to more such collaborative events!

[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

View More