LABVS: Lightweight Authentication and Batch Verification Scheme for Universal Internet of Vehicles (UIoV) | IEEE Conference Publication | IEEE Xplore