research
∙
04/25/2022
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool
CySecTool is a tool that finds a cost-optimal security controls portfoli...
share
research
∙
12/20/2021
Certified Federated Adversarial Training
In federated learning (FL), robust aggregation schemes have been develop...
research
∙
07/16/2020
MaxSAT Evaluation 2020 – Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
This paper presents a MaxSAT benchmark focused on the identification of ...
research
∙
06/26/2020
CyRes – Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Existing approaches to cyber security and regulation in the automotive s...
research
∙
05/05/2020
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
In this paper, we present a novel MaxSAT-based technique to compute Maxi...
research
∙
11/21/2019
Assessing Cyber-Physical Security in Industrial Control Systems
Over the last years, Industrial Control Systems (ICS) have become increa...
research
∙
11/08/2019
Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks
Neural networks are increasingly used in security applications for intru...
research
∙
11/01/2019
MaxSAT Evaluation 2019 – Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
This paper presents a MaxSAT benchmark focused on identifying critical n...
research
∙
10/09/2019
Deep Latent Defence
Deep learning methods have shown state of the art performance in a range...
research
∙
05/12/2019
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems
In recent years, Industrial Control Systems (ICS) have become an appeali...
research
∙
10/31/2018