Design of a provable secure lightweight privacy-preserving authentication protocol for autonomous vehicles in IoT systems. - Shariq, Mohd; Ahmed, Ismail Taha; Masud, Mehedi; Berini, Aymen Dia Eddine; Jamil, Norziana (Computer Networks, 2025)