Protecting against cyber risks is the domain of Cybersecurity. Since 2021, the TALK.CYBER Speaker series raises awareness and understanding of cybersecurity topics.
Fostering an ongoing dialogue among professionals from both industry and academia, as well as the general public encompassing individuals, families, small to large companies, and public entities, TALK.CYBERcni.fr emphasizes the universal relevance of cybersecurity in today’s world.
The Cyber CNI speaker series, a complimentary monthly event typically scheduled for the final Wednesday of each month from 2:00 PM to 3:30 PM, features expert presentations lasting approximately 45 minutes, followed by a 45-minute interactive discussion addressing real-time audience queries.
On June 28, 2024, Linköping University‘s Mr. Mikael Asplund led a talk on “Formally Verifying Security Properties of Cyber-Physical Systems,” shedding light on the necessity of robust and verifiable development practices in our interconnected world. During his presentation, Mr. Asplund not only discussed the significance of formal verification methods but also highlighted CyberSecDome’s proactive approach to fortifying digital infrastructures against cyber threats.
The session proved insightful as attendees explored the complexities of translating overarching security requirements into tangible implementations while recognizing the ever-evolving landscape of cybersecurity threats. Following the presentation, Mr. Asplund engaged in a 45-minute discussion session, giving a meaningful dialogue on the future trajectory of cyber-physical security measures.
Check the talk session: https://talk.cybercni.fr/2024/06/13/t35-formally-verifying-security-properties-of-cyber-physical-systems-mikael-asplund/
*These sessions are live-streamed via YouTube, LinkedIn, and Facebook, allowing for global participation and engagement through dedicated discussion tools. To access a repository of past talks and view the schedule for upcoming events, visit https://TALK.CYBERcni.fr/editions/.