Finding security vulnerabilities in unmanned aerial vehicles using software verification

Thumbnail
View/open
Metadata
Show full item record
Authors
Alhawi, O.; Mustafa, M.A.; Cordeiro, L.
Conference
International Workshop on Secure Internet of Things (SIoT)
Title
Finding security vulnerabilities in unmanned aerial vehicles using software verification
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections