Finding security vulnerabilities in unmanned aerial vehicles using software verification
dc.contributor.author | Alhawi, O. | |
dc.contributor.author | Mustafa, M.A. | |
dc.contributor.author | Cordeiro, L. | |
dc.date.accessioned | 2021-10-27T07:25:56Z | |
dc.date.available | 2021-10-27T07:25:56Z | |
dc.date.issued | 2019 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/32430 | |
dc.source | IIOimport | |
dc.title | Finding security vulnerabilities in unmanned aerial vehicles using software verification | |
dc.type | Proceedings paper | |
dc.date.embargo | 9999-12-31 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 1 | |
dc.source.endpage | 17 | |
dc.source.conference | International Workshop on Secure Internet of Things (SIoT) | |
dc.source.conferencedate | 26/09/2019 | |
dc.source.conferencelocation | Luxembourg Luxembourg | |
imec.availability | Published - open access |