5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.CR2019★ 5 cited
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…
cs.CR2019★ 2 cited
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…