V. . Malele and G. . Mandinyenya, “Tamarin-based verification of authentication protocols in smart city IoT”, ijirss, vol. 8, no. 12, pp. 236–244, Dec. 2025.