Text this: Verifiable Privacy Protection for Vehicular Communication Systems