On the Security of a Lightweight Privacy-Preserving Authentication Protocol for VANETs | IEEE Conference Publication | IEEE Xplore