Cyber Security & Resilience Seminar Series

Cyber Security & Resilience Seminar Series (CySe3) focus on the latest trends in security, resilience and privacy.

CySe3 is a joined effort from UK Security & Privacy Seminars (UK-SPS) and Formal Methods for Security Network (FM-SEC). This renewed series returns with a new subfocus on resilience, recognising its growing importance in ensuring systems can withstand and recover from evolving cyber threats.

Stay tuned for our upcoming events, presentations, and panel discussions on critical security topics such as data protection, cybersecurity, privacy laws, and more. Join us for insightful discussions and networking opportunities with industry leaders.

Upcoming seminar!

Zoom link Read more...

Latest seminars

Partner institutions

Cyber Security & Resilience Seminar Series

Upcoming seminar!

11 Jun 2025 at 2PMFormal Analysis of the I-ETMS Train Control Systems Safety Cases Tom Chothia

Latest seminars

28 Feb 2024Attacking the Buyers and the Sellers: A Tale of Offline Readers and Payees’ Authentication Ioana Boureanu

31 Jan 2024Certifying Statistical Robustness in Coq Alessandro Bruni

15 Nov 2023Formal methodologies to secure cyber-physical systems: from static analysis to runtime enforcement Massimo Merro

25 Oct 2023A Unified Symbolic Analysis of WireGuard Sylvain Ruhault

28 Jun 2023Comprehensive Specification and Formal Analysis of Attestation Mechanisms in Confidential Computing Muhammad Usama Sardar

Partner institutions