English
Related papers

Related papers: A Formal Approach to Physics-Based Attacks in Cybe…

200 papers

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of…

Cryptography and Security · Computer Science 2017-04-24 Ruggero Lanotte , Massimo Merro , Riccardo Muradore , Luca Viganò

Cyber-physical systems are at the intersection of digital technology and engineering domains, rendering them high-value targets of sophisticated and well-funded cybersecurity threat actors. Prominent cybersecurity attacks on CPS have…

Cryptography and Security · Computer Science 2026-04-23 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

The integration of cyber technologies (computing and communication) with the physical world gives rise to complex systems referred to as Cyber Physical Systems (CPS), for example, manufacturing, transportation, smart grid, and water…

Cryptography and Security · Computer Science 2020-04-08 Chuadhry Mujeeb Ahmed , Jianying Zhou

Traditional techniques for Cyber-Physical Systems (CPS) security design either treat the cyber and physical systems independently, or do not address the specific vulnerabilities of real time embedded controllers and networks used to monitor…

Cryptography and Security · Computer Science 2020-05-29 Ashraf Tantawy , Abdelkarim Erradi , Sherif Abdelwahed , Khaled Shaban

Cyber-Physical Systems (CPS) are being widely adopted in critical infrastructures, such as smart grids, nuclear plants, water systems, transportation systems, manufacturing and healthcare services, among others. However, the increasing…

Cryptography and Security · Computer Science 2021-11-23 Eyasu Getahun Chekole , Martin Ochoa , Sudipta Chattopadhyay

Cyber-physical systems (CPS) are interconnected architectures that employ analog, digital, and communication resources for their interaction with the physical environment. CPS are the backbone of enterprise, industrial, and critical…

Cryptography and Security · Computer Science 2021-02-22 Ioannis Zografopoulos , Juan Ospina , XiaoRui Liu , Charalambos Konstantinou

With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic…

Cryptography and Security · Computer Science 2017-01-18 Abdulmalik Humayed , Jingqiang Lin , Fengjun Li , Bo Luo

Traditional Cyber-physical Systems(CPSs) were not built with cybersecurity in mind. They operated on separate Operational Technology (OT) networks. As these systems now become more integrated with Information Technology (IT) networks based…

Cryptography and Security · Computer Science 2021-03-09 Ameerah-Muhsinah Jamil , Lotfi ben Othmane , Altaz Valani

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

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) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming…

Cryptography and Security · Computer Science 2021-10-12 Cody Fleming , Carl Elks , Georgios Bakirtzis , Stephen C. Adams , Bryan Carter , Peter A. Beling , Barry Horowitz

We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant and controller over a compromised network. To this end,…

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

Cyber-Physical Systems (CPS) integrate physical and embedded systems with information and communication technology systems, monitoring and controlling physical processes with minimal human intervention. The connection to information and…

Cryptography and Security · Computer Science 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain

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

Concerns for the resilience of Cyber-Physical Systems (CPS)s in critical infrastructure are growing. CPS integrate sensing, computation, control, and networking into physical objects and mission-critical services, connecting traditional…

Cryptography and Security · Computer Science 2024-05-20 Mariana Segovia-Ferreira , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

In an increasingly interconnected world, Cyber-Physical Systems (CPS) are essential to critical industries like healthcare, transportation, and manufacturing, merging physical processes with computational intelligence. However, the security…

Cryptography and Security · Computer Science 2026-04-07 Danial Abshari , Meera Sridhar

Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous physical and cyber components integrated in cyber-physical…

Logic in Computer Science · Computer Science 2021-05-25 Ruggero Lanotte , Massimo Merro , Simone Tini

Cyber-Physical Systems (CPS) use computational resources to control physical process and provide critical services. For this reason, an attack in these systems may have dangerous consequences in the physical world. Hence, resilience is a…

Cryptography and Security · Computer Science 2020-09-16 Mariana Segovia , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-31 Richárd Szabó , András Vörös
‹ Prev 1 2 3 10 Next ›