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