Swar, A.; Belal, M.; Ehssan Aly, S. A. Split-Plane Decentralized Middleware For Secure Multi-Protocol Iot Communication: Architecture, Formal Verification, And Experimental Validation. IJAIML 2026, 6, 964-986.