Text this: Design of a provable secure lightweight privacy-preserving authentication protocol for autonomous vehicles in IoT systems.