FINDING SOFTWARE VULNERABILITIES IN UNMANNED AERIAL VEHICLES

AlHosani, Shamma

doi:10.5281/zenodo.13759513

ScienceGate Book Chapters

JOURNAL ARTICLE

FINDING SOFTWARE VULNERABILITIES IN UNMANNED AERIAL VEHICLES

AlHosani, Shamma

Year: 2024 Journal: Zenodo (CERN European Organization for Nuclear Research) Publisher: European Organization for Nuclear Research

DOI: 10.5281/zenodo.13759513

Get Full-Text PDF Get Analytical Report

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.

Keywords:

Autopilot Fuzz testing Software Reliability (semiconductor) Drone Software security assurance Software quality Key (lock)

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.38

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Safety Systems Engineering in Autonomy

Physical Sciences → Engineering → Safety, Risk, Reliability and Quality

Software Reliability and Analysis Research

Physical Sciences → Computer Science → Software

FINDING SOFTWARE VULNERABILITIES IN UNMANNED AERIAL VEHICLES

Abstract

Metrics

Topics

Related Documents

FINDING SOFTWARE VULNERABILITIES IN UNMANNED AERIAL VEHICLES

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification

Exploring security vulnerabilities of unmanned aerial vehicles

Cyber Attack Vulnerabilities Analysis for Unmanned Aerial Vehicles

Vulnerabilities Assessment for Unmanned Aerial Vehicles Communication Systems