Program
8:00-9:00 Registration
9:00 - 10:30 Session 1
9:00 Opening
9:30 Mariëlle Stoelinga. Efficient analysis of attack trees and fault trees
10:00 Roland van Rijswijk-Deij, Gerwin Hoogsteen & Johann Hurink. Rethinking safety and security of the energy system for a green future
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 2
11:00 Bastien Sultan. An Approach to Calculating the Impact of Security Countermeasures Using Formal Methods and Generative AI
11:30 Katja Assaf. Identifying cybersecurity challenges in safety-critical sectors through interviews
12:00 Christina Kolb & Lin Xie. Security and human-safety by applying last-mile robots in urban environments
12:30 - 13:30 Lunch Break
13:30 - 15:00 Session 3
13:30 Azqa Nadeem. A series of unfortunate events: Modeling attacker behavior via machine learning
14:00 Stefano M. Nicoletti, E. Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi & Mariëlle Stoelinga. DODGE: ontology-aware risk assessment via object-oriented disruption graphs
14:20 Milan Lopuhaä-Zwakenberg. Quantitative analysis of attack-fault trees
14:40 Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga. Fuzzy fault trees and attack trees formalized
15:00 - 15:30 Coffee break
15:30-17:00 Session 4
15:30-15:50 Reza Soltani, Baver Ozceylan, Milan Lopuhaä-Zwakenberg, Christina Kolb & Gerwin Hoogsteen. Assessing safety-security interactions in Gridshield through attack-fault-defense trees
15:50-17:00 Interactive session