A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols. - Imane Bouziane; Houda Belmokadem; Mohamed Moussaoui (CiSt, 2023)