Zobrazeno 1 - 10
of 347
pro vyhledávání: '"Hankin, Chris"'
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, against vulnerabilities adopted for a computer system, while an attac
Externí odkaz:
http://arxiv.org/abs/2204.11707
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 clients being present in a quorum of workers. This can be hard to guara
Externí odkaz:
http://arxiv.org/abs/2112.10525
MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
Autor:
Barrère, Martín, Hankin, Chris
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 the input fault tree into a weighted logical formula that is then used
Externí odkaz:
http://arxiv.org/abs/2007.08255
Autor:
Maple, Carsten, Davies, Peter, Eder, Kerstin, Hankin, Chris, Chance, Greg, Epiphaniou, Gregory
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 technologies and smart mobility systems. Without sustainable resilien
Externí odkaz:
http://arxiv.org/abs/2006.14890
Autor:
Barrère, Martín, Hankin, Chris
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 MaxSAT problem and solve it using a parallel SAT-solving architecture.
Externí odkaz:
http://arxiv.org/abs/2005.03003
Publikováno v:
In Computers & Security September 2023 132
Publikováno v:
6th International Symposium for ICS & SCADA Cyber Security Research 2019 (ICS-CSR), pp. 49-58 (2019)
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 their complex structure and identify critical cyber-physical components
Externí odkaz:
http://arxiv.org/abs/1911.09404
Neural networks are increasingly used for intrusion detection on industrial control systems (ICS). With neural networks being vulnerable to adversarial examples, attackers who wish to cause damage to an ICS can attempt to hide their attacks from dete
Externí odkaz:
http://arxiv.org/abs/1911.04278
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 semantically grasp intricate logical interdependencies among ICS compone
Externí odkaz:
http://arxiv.org/abs/1911.00516
Deep learning methods have shown state of the art performance in a range of tasks from computer vision to natural language processing. However, it is well known that such systems are vulnerable to attackers who craft inputs in order to cause misclass
Externí odkaz:
http://arxiv.org/abs/1910.03916