English
Related papers

Related papers: Towards Interdependent Safety Security Assessments…

200 papers

For years, attack graphs have been an important tool for security assessment of enterprise networks, but IoT devices, a new player in the IT world, might threat the reliability of this tool. In this paper, we review the challenges that must…

Cryptography and Security · Computer Science 2019-06-27 Yael Mathov , Noga Agmon , Asaf Shabtai , Rami Puzis , Nils Ole Tippenhauer , Yuval Elovici

Two years after publicly launching the AI Incident Database (AIID) as a collection of harms or near harms produced by AI in the world, a backlog of "issues" that do not meet its incident ingestion criteria have accumulated in its review…

Computers and Society · Computer Science 2022-11-21 Sean McGregor , Kevin Paeth , Khoa Lam

Internet of Things (IoT) has become the most promising technology for service automation, monitoring, and interconnection, etc. However, the security and privacy issues caused by IoT arouse concerns. Recent research focuses on addressing…

Cryptography and Security · Computer Science 2020-06-30 Tianbo Gu , Zheng Fang , Allaukik Abhishek , Hao Fu , Pengfei Hu , Prasant Mohapatra

With the rise in the number of IoT devices and its users, security in IoT has become a big concern to ensure the protection from harmful security attacks. In the recent years, different variants of DDoS attacks have been on the rise in IoT…

Cryptography and Security · Computer Science 2024-08-21 P Modi

Many online experiments exhibit dependence between users and items. For example, in online advertising, observations that have a user or an ad in common are likely to be associated. Because of this, even in experiments involving millions of…

Methodology · Statistics 2017-10-26 Eytan Bakshy , Dean Eckles

Today by growing network systems, security is a key feature of each network infrastructure. Network Intrusion Detection Systems (IDS) provide defense model for all security threats which are harmful to any network. The IDS could detect and…

Software Engineering · Computer Science 2014-03-06 Mehdi Bahrami , Mohammad Bahrami

We study the response of complex networks subject to attacks on vertices and edges. Several existing complex network models as well as real-world networks of scientific collaborations and Internet traffic are numerically investigated, and…

Disordered Systems and Neural Networks · Physics 2009-11-07 Petter Holme , Beom Jun Kim , Chang No Yoon , Seung Kee Han

Pipeline bursting, production lines shut down, frenzy traffic, trains confrontation, nuclear reactor shut down, disrupted electric supply, interrupted oxygen supply in ICU - these catastrophic events could result because of an erroneous…

Cryptography and Security · Computer Science 2020-01-10 Geeta Yadav , Kolin Paul

Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a…

Software Engineering · Computer Science 2021-06-02 Marc Zeller , Francesco Montrone

Recent developments in image classification and natural language processing, coupled with the rapid growth in social media usage, have enabled fundamental advances in detecting breaking events around the world in real-time. Emergency…

Machine Learning · Computer Science 2020-04-13 Mahdi Abavisani , Liwei Wu , Shengli Hu , Joel Tetreault , Alejandro Jaimes

When AI interacts with the physical world -- as a robot or an assistive agent -- new safety challenges emerge beyond those of purely ``digital AI". In such interactions, the potential for physical harm is direct and immediate. How well do…

Federated learning (FL) allows participants to jointly train a machine learning model without sharing their private data with others. However, FL is vulnerable to poisoning attacks such as backdoor attacks. Consequently, a variety of…

Machine Learning · Computer Science 2023-01-24 Kavita Kumari , Phillip Rieger , Hossein Fereidooni , Murtuza Jadliwala , Ahmad-Reza Sadeghi

Affordances and permissions are promising and timely safety levers for mitigating Loss of Control (LoC) threats in high-stakes deployment contexts, such as national security. Deployers in defense and intelligence could rely on several…

Computers and Society · Computer Science 2026-05-21 Matteo Pistillo , Samantha Faraone , Joshua Herman

We consider the problem of verifying safety for continuous-time dynamical systems. Developing upon recent advancements in data-driven verification, we use only a finite number of sampled trajectories to learn a barrier certificate, namely a…

Systems and Control · Electrical Eng. & Systems 2025-08-11 Luke Rickard , Alessandro Abate , Kostas Margellos

We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier…

Systems and Control · Electrical Eng. & Systems 2024-04-30 Alessandro Abate , Sergiy Bogomolov , Alec Edwards , Kostiantyn Potomkin , Sadegh Soudjani , Paolo Zuliani

Understanding tie strength in social networks, and the factors that influence it, have received much attention in a myriad of disciplines for decades. Several models incorporating indicators of tie strength have been proposed and used to…

Social and Information Networks · Computer Science 2017-10-13 Heather Mattie , Kenth Engø-Monsen , Rich Ling , Jukka-Pekka Onnela

Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the…

Logic in Computer Science · Computer Science 2014-03-28 Shuling Wang , Flemming Nielson , Hanne Riis Nielson

Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent applications are "pen and paper" implementations that -- even if…

Cryptography and Security · Computer Science 2025-09-23 Avi Shaked

Serious crime modelling typically needs to be undertaken securely behind a firewall where police knowledge and capabilities can remain undisclosed. Data informing an ongoing incident is often sparse, with a large proportion of relevant data…

Applications · Statistics 2024-09-12 Kieran Drury , Jim Q. Smith

In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and…

Cryptography and Security · Computer Science 2013-02-06 Ender Yüksel , Hanne Riis Nielson , Flemming Nielson