English
Related papers

Related papers: Towards Interdependent Safety Security Assessments…

200 papers

INTRODUCTION: The proliferation of the amalgamation of IoT and edge computing has increased the demand for decentralised trust and security mechanisms capable of operating across heterogeneous and resource-limited devices. Approaches such…

Cryptography and Security · Computer Science 2026-04-21 Khandoker Ashik Uz Zaman , Mahdi H. Miraz , Mohammed N. M. Ali

With rise in security breaches over the past few years, there has been an increasing need to mine insights from social media platforms to raise alerts of possible attacks in an attempt to defend conflict during competition. In this study,…

Social and Information Networks · Computer Science 2020-06-23 Soumajyoti Sarkar , Mohammad Almukaynizi , Jana Shakarian , Paulo Shakarian

The advantages of IoT in strengthening commercial, industrial, and social ecosystems have led to its widespread expansion. Nevertheless, because endpoint devices have limited computation, storage, and communication capabilities, the IoT…

Cryptography and Security · Computer Science 2025-08-19 Masoud Hayeri Khyavi

Social media can be an important source of information facilitating the detection of new safety signals in pharmacovigilance. Various approaches have investigated the analysis of social media data using AI such as NLP techniques for…

Computation and Language · Computer Science 2022-03-08 Valentin Roche , Jean-Philippe Robert , Hanan Salam

Control Barrier Functions (CBFs) have emerged as a powerful tool in the design of safety-critical controllers for nonlinear systems. In modern applications, complex systems often involve the feedback interconnection of subsystems evolving…

Optimization and Control · Mathematics 2026-04-03 Stefano Di Gregorio , Guido Carnevale , Giuseppe Notarstefano

Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts…

Software Engineering · Computer Science 2021-06-03 Kai Hoefig , Marc Zeller , Reiner Heilmann

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the probability that a system exits a given safe region of the state…

Systems and Control · Computer Science 2019-05-30 Cesar Santoyo , Maxence Dutreix , Samuel Coogan

We design and develop a secret-sharing-scheme-based cyberattack detection model(S3CDM)that can detect unauthorized or illegal activities (especially insider attacks) and protect sensitive information within complex network infrastructures…

Cryptography and Security · Computer Science 2026-04-14 Chi Sing Chum , Jia Lu , Claire Tang , Xiaowen Zhang

As artificial intelligence (AI) models are scaled up, new capabilities can emerge unintentionally and unpredictably, some of which might be dangerous. In response, dangerous capabilities evaluations have emerged as a new risk assessment…

Computers and Society · Computer Science 2023-10-03 Jide Alaga , Jonas Schuett

Intrusion Detection Systems (IDSs) are integral to safeguarding networks by detecting and responding to threats from malicious traffic or compromised devices. However, standalone IDS deployments often fall short when addressing the…

Cryptography and Security · Computer Science 2025-04-24 Tom Davies , Max Hashem Eiza , Nathan Shone , Rob Lyon

Cloud computing has been adopted widely, providing on-demand computing resources to improve perfornance and reduce the operational costs. However, these new functionalities also bring new ways to exploit the cloud computing environment. To…

Cryptography and Security · Computer Science 2019-03-12 Seoungmo An , Taehoon Eom , Jong Sou Park , Jin B. Hong , Armstrong Nhlabatsi , Noora Fetais , Khaled M. Khan , Dong Seong Kim

Social media platforms are now a key source of information for a large segment of the public. As such, these platforms have a great potential as a means to provide real-time information to emergency management agencies. Moreover, during an…

Information Retrieval · Computer Science 2016-10-14 Richard McCreadie , Craig Macdonald , Iadh Ounis

Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of dangerous events, real-world testing is prohibitively expensive and unscalable.…

Machine Learning · Computer Science 2021-08-10 Aman Sinha , Matthew O'Kelly , Russ Tedrake , John Duchi

In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault…

Other Computer Science · Computer Science 2023-10-10 L. A. Jimenez-Roa , T. Heskes , M. Stoelinga

Cyber incidents can have a wide range of cause from a simple connection loss to an insistent attack. Once a potential cyber security incidents and system failures have been identified, deciding how to proceed is often complex. Especially,…

Computers and Society · Computer Science 2020-07-16 Sandro Passarelli , Cem Gündogan , Lars Stiemert , Matthias Schopp , Peter Hillmann

Safe autonomy is important in many application domains, especially for applications involving interactions with humans. Existing safe control algorithms are similar to one another in the sense that: they all provide control inputs to…

Systems and Control · Electrical Eng. & Systems 2019-10-30 Tianhao Wei , Changliu Liu

When a phone-use agent avoids harm, does that show safety, or simply inability to act? Existing evaluations often cannot tell. A harmful outcome may be avoided because the agent recognized the risk and chose the safe action, or because it…

The rapid expansion of the Internet of Things (IoT) and its integration with backbone networks have heightened the risk of security breaches. Traditional centralized approaches to anomaly detection, which require transferring large volumes…

Machine Learning · Computer Science 2026-03-24 Devashish Chaudhary , Sutharshan Rajasegarar , Shiva Raj Pokhrel , Lei Pan , Ruby D

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information infrastructure. The interdependencies of…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-01-10 Jean-Claude Laprie , Karama Kanoun , Mohamed Kaaniche