45 citations · 120 across the 19 of their papers we have counts for
20 papers
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool
Przemysław Buczkowski, Pasquale Malacaria, Chris Hankin +1
CySecTool is a tool that finds a cost-optimal security controls portfolio in a given budget for a probabilistic attack graph. A portfolio is a set of counter-measures, or controls,…
Certified Federated Adversarial Training
Giulio Zizzo, Ambrish Rawat, Mathieu Sinn +2
In federated learning (FL), robust aggregation schemes have been developed to protect against malicious clients. Many robust aggregation schemes rely on certain numbers of benign c…
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…
CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Carsten Maple, Peter Davies, Kerstin Eder +3
Existing approaches to cyber security and regulation in the automotive sector cannot achieve the quality of outcome necessary to ensure the safe mass deployment of advanced vehicle…
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…