English
Related papers

Related papers: Cyber-Physical War Gaming

200 papers

This work establishes a game-theoretic framework to study cross-layer coordinated attacks on cyber-physical systems (CPSs). The attacker can interfere with the physical process and launch jamming attacks on the communication channels…

Systems and Control · Electrical Eng. & Systems 2021-04-08 Yunhan Huang , Zehui Xiong , Quanyan Zhu

Characterizing attacker behavior with respect to Cyber-Physical Systems is important to assuring the security posture and resilience of these systems. Classical cyber vulnerability assessment approaches rely on the knowledge and experience…

Cryptography and Security · Computer Science 2021-03-18 Christopher Deloglos , Carl Elks , Ashraf Tantawy

Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or…

Cryptography and Security · Computer Science 2019-01-08 Robert Laddaga , Paul Robertson , Howard Shrobe , Dan Cerys , Prakash Manghwani , Patrik Meijer

We study the security of large-scale cyber-physical systems (CPS) consisting of multiple interdependent subsystems, each managed by a different defender. Defenders invest their security budgets with the goal of thwarting the spread of cyber…

Cryptography and Security · Computer Science 2020-04-09 Mustafa Abdallah , Daniel Woods , Parinaz Naghizadeh , Issa Khalil , Timothy Cason , Shreyas Sundaram , Saurabh Bagchi

Cyber physical systems (CPS) are mission critical systems engineered by combination of cyber and physical systems respectively. These systems are tightly coupled, resource constrained systems and have dynamic real time applications. Due to…

Cryptography and Security · Computer Science 2016-11-03 Anees Ara , Mznah Al-Rodhaan , Yuan Tian , Abdullah Al-Dhelaan

Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transportation systems, to smart grid and smart cities, to health care…

Logic in Computer Science · Computer Science 2020-03-10 Adnan Rashid , Umair Siddique , Sofiene Tahar

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices. We focus on a formal treatment of both integrity and…

Logic in Computer Science · Computer Science 2021-05-26 Ruggero Lanotte , Massimo Merro , Andrei Munteanu , Luca Viganò

Cyber-physical systems (CPS), in most instances, represent systems of systems with an informationally decentralized structure such as emerging mobility systems, networked control systems, sustainable manufacturing, smart power grids, power…

Optimization and Control · Mathematics 2024-05-15 Andreas Malikopoulos

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This…

Software Engineering · Computer Science 2024-05-17 Xi Zheng , Aloysius K. Mok , Ruzica Piskac , Yong Jae Lee , Bhaskar Krishnamachari , Dakai Zhu , Oleg Sokolsky , Insup Lee

Cyber-physical systems (CPS) have experienced rapid growth in recent decades. However, like any other computer-based systems, malicious attacks evolve mutually, driving CPS to undesirable physical states and potentially causing…

Systems and Control · Electrical Eng. & Systems 2024-04-09 Pengyuan Lu , Lin Zhang , Mengyu Liu , Kaustubh Sridhar , Fanxin Kong , Oleg Sokolsky , Insup Lee

Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We…

Software Engineering · Computer Science 2024-08-20 Claudio Mandrioli , Seung Yeob Shin , Martina Maggio , Domenico Bianculli , Lionel Briand

In times of Industry 4.0 and cyber-physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world.…

Cryptography and Security · Computer Science 2019-05-16 Igor Ivkic , Andreas Mauthe , Markus Tauber

Currently, most of the research in digital twins focuses on simulation and optimization. Digital twins are especially useful for critical systems. However, digital twins can also be used for safety and cyber security. The idea of this paper…

Cryptography and Security · Computer Science 2022-05-02 Tianyu Zhao , Ernest Foo , Hui Tian

Cyber-physical systems (CPSs) are important whenever computer technology interfaces with the physical world as it does in self-driving cars or aircraft control support systems. Due to their many subtleties, controllers for cyber-physical…

Logic in Computer Science · Computer Science 2021-02-15 André Platzer

Cybersecurity risks are often managed by reducing the system's attack surface, which includes minimizing the number of interconnections, privileges, and impacts of an attack. While attack surface reduction techniques have been frequently…

Cryptography and Security · Computer Science 2018-06-19 Ali Tamimi , Ozgur Oksuz , Jinyoung Lee , Adam Hahn

This paper proposes a system for the ingestion and analysis of real-time sensor and actor data of bulk materials handling plants and machinery. It references issues that concern mining sensor data in cyber physical systems (CPS). The…

Signal Processing · Electrical Eng. & Systems 2018-02-05 Christopher Josef Rothschedl , Roland Ritt , Paul O'Leary , Matthew Harker , Michael Habacher , Michael Brandner

We demonstrate that game-theoretic calculations serve as a useful tool for assisting cyber wargaming teams in identifying useful strategies. We note a significant similarity between formulating cyber wargaming strategies and the methodology…

Cryptography and Security · Computer Science 2018-10-01 Edward Colbert , Alexander Kott , Lawrence Knachel

Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security…

Cryptography and Security · Computer Science 2020-10-19 Georgios Bakirtzis , Garrett L. Ward , Christopher J. Deloglos , Carl R. Elks , Barry M. Horowitz , Cody H. Fleming

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

Software Engineering · Computer Science 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser

Cyber Physical Systems (CPS) are becoming ubiquitous and affect the physical world, yet security is seldom at the forefront of their design. This is especially true of robotic control algorithms which seldom consider the effect of a cyber…

Robotics · Computer Science 2018-03-07 Alexander Ivanov , Mark Campbell