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), pp. 236–244. doi: 10.53894/ijirss.v8i12.11065.