Work

Finding Software Vulnerabilities in Unmanned Aerial Vehicles

Year: 2024

Type: dissertation

Abstract: This repository contains the source code, tools, and results from a research project investigating software vulnerabilities in the PX4 autopilot system, a widely used platform for Unmanned Aerial Vehicles (UAVs). The study employs bounded model checking using the ESBMC tool and fuzzing techniques to assess the security and reliability of critical system components, including failsafe mechanisms and communication protocols.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.13759512

Author: AlHosani, Shamma

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6892954544

Cites:

Cited by:

Related to: