Transnational Network for joint Research, Education and Innovation
– Our Image Film –
News
[T36] Dynamic Cybersecurity Risk Management with Responsible AI Practice for Enhancing Security and Resilience of Digital Infrastructure – Shareeful Islam
🚀 Join us on July 26th at 2:00 PM CET for an insightful talk by Dr. Shareeful Islam on "Dynamic Cybersecurity Risk Management with Responsible AI Practice." Discover how hybrid AI models can enhance security and resilience of digital infrastructures. Don't miss the interactive discussion! #CyberSecurity #AI #RiskManagement
[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
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
Image Film: The GFA – Transnational Network
We are proud to announce the official release of our new image film, "The GFA - Transnational Network for joint Research, Education, and Innovation." This film offers a comprehensive introduction to the GFA, showcasing our mission, achievements, and the numerous ways to engage with us.
Recap of the GFA Startup Learning Expedition 2024 in Paris
The GFA's Startup Learning Expedition in Paris and visit of VivaTechnology on May 21-25, 2024 were a tremendous success, filled with insightful sessions, impactful networking opportunities, and engaging discussions. Here is a detailed recap of the eventful week!
Founded by
