Dynamic Anonymous Quantum-Secure Batch-Verifiable Authentication Scheme for VANET

Integrating cutting-edge communication technology with vehicular advancement has led to Vehicular Ad-Hoc Networks (VANETs). VANET architecture facilitates the exchange of vital safety-related messages among vehicles. However, ensuring the authentication and integrity of shared messages over wireless links poses challenges. To resolve the issues, various batch-verifiable authentication schemes have been devised previously. However, existing VANET batch-verifiable authentication schemes utilize number theory-based cryptography, and therefore are vulnerable to quantum computing attacks. Additionally, storing multiple pseudonyms for anonymity incurs storage overhead on vehicles. To address these issues, this paper presents a novel lattice-based dynamic anonymous batch-verifiable authentication scheme. Being a lattice-based design, it is robust against post-quantum threats. To achieve dynamic anonymity, a fuzzy extractor design has been utilized, which removes the storage of multiple pseudonyms. The provable security has been achieved via formal analysis in the random oracle model, and an extensive performance evaluation confirms its efficiency and suitability for VANETs.