Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using
  Software Verification   The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulnerable
monolithic software has recently raised serious concerns about their security
due to concurrency aspects and fragile communication links. However, verifying
security in UAV software based on traditional testing remains an open challenge
mainly due to scalability and deployment issues. Here we investigate software
verification techniques to detect security vulnerabilities in typical UAVs. In
particular, we investigate existing software analyzers and verifiers, which
implement fuzzing and bounded model checking (BMC) techniques, to detect memory
safety and concurrency errors. We also investigate fragility aspects related to
the UAV communication link. All UAV components (e.g., position, velocity, and
attitude control) heavily depend on the communication link. Our preliminary
results show that fuzzing and BMC techniques can detect various software
vulnerabilities, which are of particular interest to ensure security in UAVs.
We were able to perform successful cyber-attacks via penetration testing
against the UAV both connection and software system. As a result, we
demonstrate real cyber-threats with the possibility of exploiting further
security vulnerabilities in real-world UAV software in the foreseeable future.

12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph