Imane Bouziane, Houda Belmokadem, Mohamed Moussaoui. A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols. In 7th IEEE Congress on Information Science and Technology, CiSt 2023, Agadir - Essaouira, Morocco, December 16-22, 2023. pages 334-341, IEEE, 2023. [doi]
Abstract is missing.