Secure and efficient pseudonymization for privacy-preserving vehicular communications in smart cities. (March 2020)