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