Malele, V. and Mandinyenya, G. 2025. Tamarin-based verification of authentication protocols in smart city IoT. International Journal of Innovative Research and Scientific Studies. 8, 12 (Dec. 2025), 236–244. DOI:https://doi.org/10.53894/ijirss.v8i12.11065.