Published several papers including 'Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics' (2024), 'Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors' (2023), and more.
Research Experience
Works as a PhD candidate at the University of Twente, involved in multiple research projects such as querying attack-fault-defense trees in smart grid and aerospace case studies, optimal spare management via statistical model checking in research reactors, etc.
Education
Pursuing a PhD at the University of Twente, supervised by M. Lopuhaä-Zwakenberg and M. Stoelinga.
Background
Research interests include Computer Science, Side Channel Attack, Cyber Physical Systems, Case Study of Attackers, Industry 4.0, and Risk Mitigation. Specializes in Engineering and Production.