English
Related papers

Related papers: Evidence-Based Threat Modeling for ICS

200 papers

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…

Cryptography and Security · Computer Science 2019-11-22 Martín Barrère , Chris Hankin , Demetrios G. Eliades , Nicolas Nicolau , Thomas Parisini

To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or implementation of security protocols. Lightweight formal…

Cryptography and Security · Computer Science 2024-11-28 Rémi Garcia , Paolo Modesti

Intrusion detection system (IDS) is one of extensively used techniques in a network topology to safeguard the integrity and availability of sensitive assets in the protected systems. Although many supervised and unsupervised learning…

Cryptography and Security · Computer Science 2020-04-03 Yuyang Zhou , Guang Cheng , Shanqing Jiang , Mian Dai

Cloud systems are dynamic environments which make it difficult to keep track of security risks that resources are exposed to. Traditionally, risk assessment is conducted for individual assets to evaluate existing threats; their results,…

Cryptography and Security · Computer Science 2022-06-16 Immanuel Kunz , Angelika Schneider , Christian Banse

Critical infrastructure systems, including energy grids, healthcare facilities, transportation networks, and water distribution systems, are pivotal to societal stability and economic resilience. However, the increasing interconnectivity of…

Cryptography and Security · Computer Science 2025-12-25 Jenifer Paulraj , Brindha Raghuraman , Nagarani Gopalakrishnan , Yazan Otoum

Increasingly Industrial Control Systems (ICS) systems are being connected to the Internet to minimise the operational costs and provide additional flexibility. These control systems such as the ones used in power grids, manufacturing and…

Cryptography and Security · Computer Science 2020-06-30 Uday Tupakula , Vijay Varadharajan , Kallol Krishna Karmakar

In critical infrastructures, communication networks are used to exchange vital data among elements of Industrial Control Systems (ICSes). Due to the criticality of such systems and the increase of the cybersecurity risks in these contexts,…

Networking and Internet Architecture · Computer Science 2017-01-17 Roberto di Lallo , Federico Griscioli , Gabriele Lospoto , Habib Mostafaei , Maurizio Pizzonia , Massimo Rimondini

Malware presents a persistent threat to user privacy and data integrity. To combat this, machine learning-based (ML-based) malware detection (MD) systems have been developed. However, these systems have increasingly been attacked in recent…

Cryptography and Security · Computer Science 2025-05-19 Ping He , Yuhao Mao , Changjiang Li , Lorenzo Cavallaro , Ting Wang , Shouling Ji

Although general-purpose AI systems offer transformational opportunities in science and industry, they simultaneously raise critical concerns about safety, misuse, and potential loss of control. Despite these risks, methods for assessing…

Computers and Society · Computer Science 2025-12-12 Malcolm Murray , Steve Barrett , Henry Papadatos , Otter Quarks , Matt Smith , Alejandro Tlaie Boria , Chloé Touzet , Siméon Campos

According to the World Economic Forum, cyber attacks are considered as one of the most important sources of risk to companies and institutions worldwide. Attacks can target the network, software, and/or hardware. During the past years, much…

Cryptography and Security · Computer Science 2022-08-31 Tara Ghasempouri , Jaan Raik , Cezar Reinbrecht , Said Hamdioui , Mottaqiallah Taouil

Searching for clues, gathering evidence, and reviewing case files are all techniques used by criminal investigators to draw sound conclusions and avoid wrongful convictions. Similarly, in software engineering (SE) research, we can develop…

Software Engineering · Computer Science 2023-09-19 Marvin Muñoz Barón , Marvin Wyrich , Daniel Graziotin , Stefan Wagner

Background: The sensitivity of Requirements Engineering (RE) to the context makes it difficult to efficiently control problems therein, thus, hampering an effective risk management devoted to allow for early corrective or even preventive…

Software Engineering · Computer Science 2017-08-01 Daniel Méndez Fernández , Michaela Tießler , Marcos Kalinowski , Michael Felderer , Marco Kuhrmann

Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for…

Cryptography and Security · Computer Science 2021-09-07 Stefan Marksteiner , Peter Priller

Risk assessment plays a crucial role in ensuring the security and resilience of modern computer systems. Existing methods for conducting risk assessments often suffer from tedious and time-consuming processes, making it challenging to…

Cryptography and Security · Computer Science 2023-07-27 Simon Unger , Ektor Arzoglou , Markus Heinrich , Dirk Scheuermann , Stefan Katzenbeisser

The modernization of power grid infrastructures necessitates the incorporation of decision support systems to effectively mitigate cybersecurity threats. This paper presents a comprehensive framework based on integrating Attack-Defense…

Cryptography and Security · Computer Science 2025-01-13 Omer Sen , Yanico Aust , Martin Neumuller , Immanuel Hacker , Andreas Ulbig

As the world moves towards being increasingly dependent on computers and automation, building secure applications, systems and networks are some of the main challenges faced in the current decade. The number of threats that individuals and…

Cryptography and Security · Computer Science 2020-06-08 Hanan Hindy , David Brosset , Ethan Bayne , Amar Seeam , Christos Tachtatzis , Robert Atkinson , Xavier Bellekens

Simulation can evaluate a statistical method for properties such as Type I Error, FDR, or bias on a grid of hypothesized parameter values. But what about the gaps between the grid-points? Continuous Simulation Extension (CSE) is a…

Methodology · Statistics 2024-09-10 James Yang , T. Ben Thompson , Michael Sklar

Over the past decade, industrial control systems have experienced a massive integration with information technologies. Industrial networks have undergone numerous technical transformations to protect operational and production processes,…

Cryptography and Security · Computer Science 2021-10-26 Riccardo Colelli , Filippo Magri , Stefano Panzieri , Federica Pascucci

The evolution of the traditional power grid into the "smart grid" has resulted in a fundamental shift in energy management, which allows the integration of renewable energy sources with modern communication technology. However, this…

Artificial Intelligence · Computer Science 2025-09-10 Abdulhakim Alsaiari , Mohammad Ilyas

Edge computing is projected to have profound implications in the coming decades, proposed to provide solutions for applications such as augmented reality, predictive functionalities, and collaborative Cyber-Physical Systems (CPS). For such…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-02 José Manuel Gaspar Sánchez , Nils Jörgensen , Martin Törngren , Rafia Inam , Andrii Berezovskyi , Lei Feng , Elena Fersman , Muhammad Rusyadi Ramli , Kaige Tan