Verifiable Privacy Protection for Vehicular Communication Systems heftetEngelsk, 2017