Formal security analysis of an IoT mutual authentication protocolMeriam Fariss, Hassan El Gafif and Ahmed ToumanariITM Web Conf., 52 (2023) 01003DOI: https://doi.org/10.1051/itmconf/20235201003
