Authors: Pietro Tedeschi, Savio Sciancalepore, Roberto Di Pietro

Date: December 8, 2021

 

RID, a solution enabling RemoteID-compliant Anonymous Remote Identification of UAVs. The adoption of ARID allows UAVs to broadcast RemoteID-compliant messages using ephemeral pseudonyms that only a Trusted Authority, such as the FAA, can link to the long-term identifier of the UAV and its operator. While the security properties of ARID are thoroughly discussed and formally verified with ProVerif, we also implemented a prototype of ARID on a real UAV, i.e., the 3DR-Solo drone, integrating our solution within the popular Poky Operating System, on top of the widespread MAVLink protocol.

All the details (source code of ARID and its formal security analysis with ProVerif) necessary to download, compile, and run the Proof of Concept of ARID protocol on your Drone/PC can be found on the github repository here.

For any questions, please refer to the following e-mail address: ptedeschi at hbku dot edu dot qa.

Pull requests are welcome. For major changes, please open an issue first on GitHub to discuss what you would like to change.

Enjoy the ARID protocol!