ProSEV: Proxy-Based Secure and Efficient Vehicular Communication. - Mohammad Hamad; Mustafa R. Agha; Vassilis Prevelakis (VNC, 2018)