Bouziane, I. ., Belmokadem, H. ., & Moussaoui, M. . (2023). A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols. In (p. 334—341). http://doi.org/10.1109/CiSt56084.2023.10409999 (Original work published 2024)