Distributed Aggregate Privacy-Preserving Authentication in VANETs | Synapse