Efficient Privacy-Preserving Authentication for Vehicular Ad Hoc Networks | Synapse