English
Related papers

Related papers: Vulnerabilities Analysis and Secure Controlling fo…

200 papers

An unmanned aircraft system (UAS) consists of an unmanned aerial vehicle (UAV) and its controller which use radios to communicate. While the remote controller (RC) is traditionally operated by a person who is maintaining visual line of…

Signal Processing · Electrical Eng. & Systems 2021-03-02 Aly Sabri Abdalla , Vuk Marojevic

As Cyber-Physical Systems (CPS) become increasingly pervasive and autonomous, ensuring the resilience of their embedded logic is critical to maintaining safety and integrity. Among the most stealthy and damaging threats are non-invasive…

Cryptography and Security · Computer Science 2026-04-21 Yun-Ping Hsiao , Yanda Li , Youssef Gamal , Halima Bouzidi , Mohammad Abudllah Al Faruque

Reactive synthesis is a paradigm for automatically building correct-by-construction systems that interact with an unknown or adversarial environment. We study how to do reactive synthesis when part of the specification of the system is that…

Logic in Computer Science · Computer Science 2018-04-23 Daniel J. Fremont , Sanjit A. Seshia

Unmanned Traffic Management (UTM) federated ecosystems, such as InterUSS, enable secure coordination among UAS Service Suppliers (USSs). However, they bring up some security challenges at the infrastructure level that haven't been fully…

Cryptography and Security · Computer Science 2026-05-13 Henrique Curi de Miranda , Ágney Lopes Roth Ferraz , Wagner Comin Sonaglio , Lourenço Alves Pereira Júnior

Unmanned Aerial Systems (UAS) are being increasingly deployed for commercial, civilian, and military applications. The current UAS state-of-the-art still depends on a remote human controller with robust wireless links to perform several of…

Machine Learning · Computer Science 2020-09-10 Jithin Jagannath , Anu Jagannath , Sean Furman , Tyler Gwin

Uncrewed Aerial Systems (UASs) have become a growing threat to the security of critical infrastructure, exploiting spatiotemporal gaps in sensor perimeters to infiltrate restricted airspace undetected. We formulate this interaction as a…

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

We present a new simulator of Uncrewed Aerial Vehicles (UAVs) that is tailored to the needs of testing cyber-physical security attacks and defenses. Recent investigations into UAV safety have unveiled various attack surfaces and some…

Robotics · Computer Science 2024-10-08 Unmesh Patil , Akshith Gunasekaran , Rakesh Bobba , Houssam Abbas

Unmanned Aerial Vehicle (UAV) technologies are gaining high interest for many domains, which makes UAV security of utmost importance. ArduPilot is among the most widely used open-source autopilot UAV frameworks; yet, many studies…

Cryptography and Security · Computer Science 2025-12-02 Yasaswini Konapalli , Lotfi Ben Othmane , Cihan Tunc , Feras Benchellal , Likhita Mudagere

Unmanned aerial vehicle (UAV) system is vulnerable to the control signal spoofing attack due to the openness of the wireless communications. In this correspondence, a physical layer approach is proposed to combat the control signal spoofing…

Information Theory · Computer Science 2018-04-19 Ke-Wen Huang , Hui-Ming Wang

Unmanned aerial vehicle (UAV) networks are playing an important role in various areas due to their agility and versatility, which have attracted significant attention from both the academia and industry in recent years. As an integration of…

Networking and Internet Architecture · Computer Science 2018-12-18 Haijun Wang , Haitao Zhao , Jiao Zhang , Dongtang Ma , Jiaxun Li , Jibo Wei

Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been done to prevent an attacker who has either compromised a…

Cryptography and Security · Computer Science 2025-04-15 Arthur Amorim , Max Taylor , Trevor Kann , Gary T. Leavens , William L. Harrison , Lance Joneckis

This paper presents the ARCAD simulator for the rapid development of Unmanned Aerial Systems (UAS), including underactuated and fully-actuated multirotors, fixed-wing aircraft, and Vertical Take-Off and Landing (VTOL) hybrid vehicles. The…

Robotics · Computer Science 2023-04-11 Azarakhsh Keipour , Mohammadreza Mousaei , Dongwei Bai , Junyi Geng , Sebastian Scherer

Thanks to the rapidly developing technology, unmanned aerial vehicles (UAVs) are able to complete a number of tasks in cooperation with each other without need for human intervention. In recent years, UAVs, which are widely utilized in…

Cryptography and Security · Computer Science 2025-01-03 Ozlem Ceviz , Sevil Sen , Pinar Sadioglu

A smart grid is a widely distributed engineering system with overhead transmission lines. Physical damage to these power lines, from natural calamities or technical failures, will disrupt the functional integrity of the grid. To ensure the…

Signal Processing · Electrical Eng. & Systems 2019-11-07 M. Ashiqur Rahman , Rahat Masum , Matthew Anderson , Steven L. Drager

Unmanned Aerial Vehicles (UAVs) have recently rapidly grown to facilitate a wide range of innovative applications that can fundamentally change the way cyber-physical systems (CPSs) are designed. CPSs are a modern generation of systems with…

This paper proposes a path planning algorithm for multi-agent unmanned aircraft systems (UASs) to autonomously cover a search area, while considering obstacle avoidance, as well as the capabilities and energy consumption of the employed…

Systems and Control · Electrical Eng. & Systems 2025-04-07 Sebastian Gasche , Christian Kallies , Andreas Himmel , Rolf Findeisen

Unmanned aerial vehicles (UAVs) are becoming more common, and their operational range is expanding tremendously, making the security aspect of the inquiry essential. This study does a thorough assessment of the literature to determine the…

Cryptography and Security · Computer Science 2022-12-12 Tirth Patel , Niyatiben Salot , Vrusha Parikh

This paper presents the design and validation of a retrieval-based assistant that supports safety assessment, certification activities, and regulatory compliance for unmanned aircraft systems. The work is motivated by the growing complexity…

Computation and Language · Computer Science 2026-03-12 Gabriele Immordino , Andrea Vaiuso , Marcello Righi

Unmanned aerial vehicles (UAVs) can be deployed to monitor very large areas without the need for network infrastructure. UAVs communicate with each other during flight and exchange information with each other. However, such communication…

Cryptography and Security · Computer Science 2020-11-19 Maryam Faraji-Biregani , Reza Fotohi