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 2025)