English
Related papers

Related papers: Glitch in the Sky: Exploiting Voltage Fault Inject…

200 papers

Machine Learning applications are acknowledged at the foundation of autonomous driving, because they are the enabling technology for most driving tasks. However, the inclusion of trained agents in automotive systems exposes the vehicle to…

Artificial Intelligence · Computer Science 2022-03-01 Niccolò Piazzesi , Massimo Hong , Andrea Ceccarelli

Recently, Unmanned Aerial Vehicles (UAVs) are employed for a plethora of civilian applications. Such flying vehicles can accomplish tasks under the pilot's eyesight within the range of a remote controller, or autonomously according to a…

Cryptography and Security · Computer Science 2021-02-15 Francesco Betti Sorbelli , Mauro Conti , Cristina M. Pinotti , Giulio Rigoni

Unmanned Aerial Vehicles autonomously perform tasks with the use of state-of-the-art control algorithms. These control algorithms rely on the freshness and correctness of sensor readings. Incorrect control actions lead to catastrophic…

Cryptography and Security · Computer Science 2024-10-16 Alessandro Erba , John H. Castellanos , Sahil Sihag , Saman Zonouz , Nils Ole Tippenhauer

Many wireless communications systems found in aircraft lack standard security mechanisms, leaving them fundamentally vulnerable to attack. With affordable software-defined radios available, a novel threat has emerged, allowing a wide range…

Cryptography and Security · Computer Science 2019-05-21 Matthew Smith , Martin Strohmeier , Jon Harman , Vincent Lenders , Ivan Martinovic

Vertical take-off and landing (VTOL) unmanned aerial vehicles (UAVs) are versatile platforms widely used in applications such as surveillance, search and rescue, and urban air mobility. Despite their potential, the critical phases of…

Robotics · Computer Science 2024-12-13 Sandeep Banik , Jinrae Kim , Naira Hovakimyan , Luca Carlone , John P. Thomas , Nancy G. Leveson

The impeccable design of sensitive and cryptographic circuits (CC) against fault injection attacks is essential for modern data storage, communication, and computation systems that are susceptible to fault injection attacks. The robustness…

Cryptography and Security · Computer Science 2020-01-13 Ali Vosoughi , Longfei Wang , Selçuk Köse

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…

Machine Learning · Computer Science 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer

Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-day life. Formal methods is a class of methods that…

Artificial Intelligence · Computer Science 2023-11-17 Ashfaq Farooqui , Behrooz Sangchoolie

Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of application scenarios, UAS have become…

Software Engineering · Computer Science 2024-06-17 Jianyu Zhang , Long Zhang , Yixuan Wu , Linru Ma , Feng Yang

Propeller failure is a major cause of multirotor Unmanned Aerial Vehicles (UAVs) crashes. While conventional multirotor systems struggle to address this issue due to underactuation, over-actuated platforms can continue flying with…

Robotics · Computer Science 2023-06-16 Yao Su , Pengkang Yu , Matthew J. Gerber , Lecheng Ruan , Tsu-Chin Tsao

With the large-scale integration and use of neural network models, especially in critical embedded systems, their security assessment to guarantee their reliability is becoming an urgent need. More particularly, models deployed in embedded…

Cryptography and Security · Computer Science 2023-09-01 Clement Gaine , Pierre-Alain Moellic , Olivier Potin , Jean-Max Dutertre

Fault injection attacks induce hardware failures in circuits and exploit these faults to compromise the security of the system. It has been demonstrated that FIAs can bypass system security mechanisms, cause faulty outputs, and gain access…

Systems and Control · Electrical Eng. & Systems 2025-01-17 Yan He , Yumin Su , Kaiyuan Yang

In recent years, there has been considerable effort to modernize existing and new nuclear power plants with digital instrumentation and control systems. However, there has also been considerable concern both by industry and regulatory…

Software Engineering · Computer Science 2022-05-25 Edward Chen , Han Bao , Tate Shorthill , Carl Elks , Nam Dinh

Actuator faults heavily affect the performance and stability of control systems, an issue that is even more critical for systems required to operate autonomously under adverse environmental conditions, such as unmanned vehicles. To this…

Systems and Control · Electrical Eng. & Systems 2025-03-17 Daniele Masti , Davide Grande , Andrea Peruffo , Filippo Fabiani

In order to counter the various threats manifested by Unmanned Aircraft Systems (UAS) adequately, specialized Counter Unmanned Aircraft Systems (C-UAS) are required. Enhancing C-UAS with Emerging and Disruptive Technologies (EDTs) such as…

Machine Learning · Computer Science 2026-02-10 Liisa Janssens , Laura Middeldorp

Spoofing attacks are among the most destructive cyber threats to terrestrial systems, and they become even more dangerous in space, where satellites cannot be easily serviced, and operators depend on accurate telemetry to ensure mission…

Cryptography and Security · Computer Science 2026-03-12 Jack Vanlyssel , Gruia-Catalin Roman , Afsah Anwar

This paper presents an excitation operator based fault separation architecture for a quadrotor unmanned aerial vehicle (UAV) subject to loss of effectiveness (LoE) faults, actuator aging, and load uncertainty. The actuator fault dynamics is…

Systems and Control · Electrical Eng. & Systems 2023-08-22 Sicheng Zhou , Meng Wang , Jindou Jia , Kexin Guo , Xiang Yu , Youmin Zhang , Lei Guo

Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics software systems.…

Software Engineering · Computer Science 2024-08-05 Hassan Sartaj , Asmar Muqeet , Muhammad Zohaib Iqbal , Muhammad Uzair Khan

Field trial is very critical and high risk in autonomous UAV development life cycle. Hardware in the loop (HIL) simulation is a computer simulation that has the ability to simulate UAV flight characteristic, sensor modeling and actuator…

Robotics · Computer Science 2008-04-25 Widyawardana Adiprawita , Adang Suwandi Ahmad , Jaka Semibiring

Autonomous unmanned aerial vehicle (UAV) inertial navigation exhibits an extreme dependency on the availability of global navigation satellite systems (GNSS) signals, without which it incurs in a slow but unavoidable position drift that may…

Robotics · Computer Science 2021-12-02 Eduardo Gallo