Formal Methods and Cybersecurity Workshop

Today and tomorrow, V-ResearchIT will be at King's College London with REXASI-PRO for a joint workshop about #Formal #Methods and #CyberSecurity.

You can meet us at Bush House or online!

20th September 2023 - Session 1 (MS Teams)

10.00-11.00. Marco Rocchetto (V-ResearchIT). Cybersecurity Risk Assessment in the Industrial Sector

11.00-12.00. Michele Ambrosi (V-ResearchIT). Cybersecurity Compliance:

Policies and Procedures In-depth

20th September 2023 - Session 2 (Tutorial) (MS Teams)

13.00-14.00. Marco Rocchetto and Michele Ambrosi (V-ResearchIT). Let's do a Threat & Risk Assessment together! Part 1: Threat assessment

14.15-15.00. Marco Rocchetto and Michele Ambrosi (V-ResearchIT). Let's do a Threat & Risk Assessment together! Part 2: Risk assessment

15.30-16:30. Marco Rocchetto (V-ResearchIT). Open discussion: Automated Deduction and Automated Learning for Cybersecurity Risk Assessment

21th September 2023 - Session 3 (MS Teams)

10.00-11.00. Luca Viganò (King's College London). Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies)

11.00-12.00. Megha Quamara (King's College London). Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling

21th September 2023 - Session 4 (MS Teams)

13.00-14.00. Nicola Paoletti (King's College London). Conformal Prediction for Learning-based Predictive Monitoring with Probabilistic Guarantees

14.15-15.00. Tom Kuipers (King's College London). MA-COPP: Conformal Off-Policy Evaluation for Multi-Agent Systems

15.00-15.30. Mehran Hosseini (King's College London). Verification of Memoryful Agents against Linear Temporal Logic Specifications