Swar, A. et al. 2026. Split-Plane Decentralized Middleware For Secure Multi-Protocol Iot Communication: Architecture, Formal Verification, And Experimental Validation. International Journal of Artificial Intelligence and Machine Learning. 6, 4s (Jun. 2026), 964–986. DOI:https://doi.org/10.51483/IJAIML.6.4s.2026.964-986.