A-VIP: Anonymous Verification and Inference of Positions in Vehicular Networks