TALK.cybercni.fr

Your monthly Cybersecurity Speaker Series

Tag: DigitalSecurity

[T39] A case for Internet Transparency – the Responsible Internet – Ralph Holz (Universität Münster)

By Marc-Oliver Pahl academic talk / News

📢 Join Us for an Eye-Opening Cybersecurity Talk! 🚀

On Friday, October 25th, 2024, at 2 PM CET, we are excited to host Ralph Holz from Universität Münster for another edition of TALK.CYBERCNI.fr on “A Case for Internet Transparency – The Responsible Internet.”

Despite technological advancements, Internet security issues persist, particularly at the infrastructure level. Ralph Holz will discuss why traditional solutions are often ineffective and propose a game-changing approach: Internet Transparency. By making it possible to identify the operators and reasons behind security failures, we can change the incentives to invest in better security practices. Holz will also introduce “The Responsible Internet,” a multidisciplinary approach combining global measurements, decentralized logging, and economics research to foster a more secure and accountable Internet.

📍 Join us for this must-see talk and engaging live discussion!

🔗 https://TALK.CYBERcni.fr/38

SHARE

[T35] Formally verifying security properties of cyber-physical systems – Mikael Asplund

By Marc-Oliver Pahl academic talk / News

📢 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

SHARE
View More