PPID: Strangers Sets: Preserving Drones' Location Privacy while Avoiding Invasions of Critical Infrastructures
The security properties of PPID have been verified formally and experimentally by using the open-source tool ProVerif 2.04.
To verify the security of the proposed scheme, download the file ppid.pv and run: ./proverif ppid.pv | grep "RESULT".
To verify that the location is a strong secret (i.e., the attacker cannot launch offline guessing attacks on the location of the drone), follow the guidelines within the code.
(^) Harshul Vaishnav (harshul dot vaishnav at studenti dot unipd dot it)
(^) Alessandro Brighente (alessandro dot brighente at unipd dot it)
(^) Mauro Conti (mauro dot conti at unipd dot it)
(-) Savio Sciancalepore (s dot sciancalepore at tue dot nl)
(^) University of Padova, Italy
(-) Security Group - Faculty of Mathematics and Computer Science, Eindhoven University of Technology (TU/e), Eindhoven, The Netherlands
PPID is released under the GNU General Public License v3.0 license.