Malele, V. .; Mandinyenya, G. . Tamarin-Based Verification of Authentication Protocols in Smart City IoT. ijirss 2025, 8, 236-244.