Malele, Vusimuzi, and Godwin Mandinyenya. 2025. “Tamarin-Based Verification of Authentication Protocols in Smart City IoT”. International Journal of Innovative Research and Scientific Studies 8 (12):236-44. https://doi.org/10.53894/ijirss.v8i12.11065.