  Security and privacy in Vehicular Ad-hoc Networks (VANETs) mandates use of
short-lived credentials (pseudonyms) and cryptographic key pairs. This implies
significant computational overhead for vehicles, needing to validate often
numerous such pseudonyms within a short period. To alleviate such a bottleneck
that could even place vehicle safety at risk, we propose a proactive pseudonym
validation approach based on Bloom Filters (BFs). We show that our scheme could
liberate computational resources for other (safety- and time-critical)
operations with reasonable communication overhead without compromising security
and privacy.
