Practical Anonymous Attestation-based Pseudonym Schemes for Vehicular Networks | IEEE Conference Publication | IEEE Xplore