ESCORT: Efficient Status Check and Revocation Transparency for Linkage-Based Pseudonym Certificates in VANETs | IEEE Conference Publication | IEEE Xplore