Formal security analysis of an IoT mutual authentication protocol Meriam Fariss, Hassan El Gafif and Ahmed Toumanari ITM Web Conf., 52 (2023) 01003 Published online: 08 May 2023 DOI: 10.1051/itmconf/20235201003