A new provable hierarchical anonymous certificateless authentication protocol with aggregate verification in ADS-B systems. - Amirhossein Asari; Mahdi R. Alagheband; Majid Bayat; Maryam Rajabzadeh Asaar (Comput. Networks, 2021)