Login / Signup

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.

Omar M. AlhawiMustafa A. MustafaLucas C. Cordeiro
Published in: SIoT (2019)
Keyphrases
  • unmanned aerial vehicles
  • security vulnerabilities
  • path planning
  • penetration testing
  • intrusion detection
  • search and rescue
  • dos attacks
  • dynamic environments
  • smart card
  • coalition formation
  • security properties