A-VIP: Anonymous verification and inference of positions in vehicular networks | IEEE Conference Publication | IEEE Xplore