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 (Aug. 2026), 1966–1994. DOI:https://doi.org/10.33411/IJIST/1994.