9 citations · 18 across the 4 of their papers we have counts for
6 papers
MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
Martín Barrère, Chris Hankin
This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming t…
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
Martín Barrère, Chris Hankin
In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial M…
Assessing Cyber-Physical Security in Industrial Control Systems
Martín Barrère, Chris Hankin, Demetrios G. Eliades +2
Over the last years, Industrial Control Systems (ICS) have become increasingly exposed to a wide range of cyber-physical threats. Efficient models and techniques able to capture th…
MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
Martín Barrère, Chris Hankin, Nicolas Nicolau +2
This paper presents a MaxSAT benchmark focused on identifying critical nodes in AND/OR graphs. We use AND/OR graphs to model Industrial Control Systems (ICS) as they are able to se…
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems
Martín Barrère, Chris Hankin, Nicolas Nicolau +2
In recent years, Industrial Control Systems (ICS) have become an appealing target for cyber attacks, having massive destructive consequences. Security metrics are therefore essenti…
Exact Inference Techniques for the Analysis of Bayesian Attack Graphs
Luis Muñoz-González, Daniele Sgandurra, Martín Barrère +1
Attack graphs are a powerful tool for security risk assessment by analysing network vulnerabilities and the paths attackers can use to compromise network resources. The uncertainty…