ORION: Verification of drone trajectories via remote identification messages. - Savio Sciancalepore; Filip Davidovic; Gabriele Oligeri (Future Gener. Comput. Syst., 2024)