Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.

Omar M. Alhawi Mustafa A. Mustafa Lucas C. Cordeiro

Published in: CoRR (2019)

Keyphrases

unmanned aerial vehicles
security vulnerabilities
intrusion detection
search and rescue
penetration testing
dos attacks
artificial intelligence
decision making
ground truth