Schlagwort-Archiv: #cybersecurity
[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
Mehr[Talk34] Global challenges and holistic legal approaches in cyber resilience – Dennis-Kenji Kipker
???? Don't miss TALK.CYBER on May 17th, 2h30pm CET! Join Prof. Dr. Dennis-Kenji Kipker discussing global cyber challenges and legal solutions. Tune in live: TALK.CYBERcni.fr/stream #CyberSecurity
Mehr[TALK32] Generative AI: Ethical Quandaries and the Spread of Misinformation – Alexander Loth (Microsoft, DE)
Our speaker series continues after a longer summer break with another highlight: a fireside talk on Generative AI! On Fri, Nov 24th, 2023, 2pm CET, we welcome Alexander Loth from Microsoft Germany for an exchange on "Generative AI: Ethical Quandaries and the Spread of Misinformation". You are cordially invited join the discussion live and for free over YouTube, LinkedIN, and Facebook!
Mehr[TALK30] Trusted Graph for explainable detection of cyberattacks – Pierre PARREND (EPITA / iCube, Unistra)
“Trusted Graph for explainable detection of cyberattacks,“ Pierre PARREND (Laboratoire de Recherche de l'EPITA / Laboratoire ICube - Unistra), on Wed, April 19th, 2023, 2pm CET, free live stream! Please share with your interested friends!
Mehr[TALK28] Immersive crisis management, risk management and decision support – Frédérick Benaben (IMT Mines Albi, Georgia Institute of Technology)
On Wed, Feb 22nd, 2023, 2pm CET, Frédérick Benaben (IMT Albi, Georgia Institute of Technology), will talk about “Immersive crisis management, risk management and decision support“. Please share the link https://talk.cybercni.fr/28 with your interested friends!
Mehr[TALK27] A Semantic Investigation System – François Khourbiga (Defants, FR)
On Wed, Jan 25th, 2023, 2pm CET, François Khourbiga (Defants, FR), will talk about “A Semantic Investigation System“. You are cordially invited to join the free live stream on youtube and LinkedIn! Please share the link https://talk.cybercni.fr/27 with your interested friends!
Mehr[TALK22] Gabi Dreo (Universität der Bundeswehr München, Germany) – Paradigm shift from cybersecurity to cyber resilience
On Mon, Nov 7th, 2022, 10ham CET, Gabi Dreo (Universität der Bundeswehr München, Germany), will talk about “Paradigm shift from cybersecurity to cyber resilience“. You are cordially invited to join the free live stream on youtube and LinkedIn! Please share the link https://talk.cybercni.fr/22 with your interested friends!
Mehr