9 citations · 16 across the 3 of their papers we have counts for
3 papers · 1 filter
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…