Imran, S., Safdar, K. and Younus, M. U. (2026) “BISF-IoT: A Scalable Blockchain-Integrated Security Framework with Formal Guarantees”, International Journal of Innovations in Science & Technology, 8(5), pp. 1966–1994. doi: 10.33411/IJIST/1994.