Security Analysis of an Efficient Authentication Scheme for Vehicular Ad Hoc Networks. - Saeed Zarbi; Seyed Amir Mortazavi; Pedram Salehpour (ISCISC, 2020)