Formal Verification IoT Protocols

Formal modeling and verification of IoT communication protocols — including MQTT, RPL, and application-layer standards — is the central focus, using methods such as colored Petri nets, Event-B/Rodin, and model checking to ensure correctness, security, and functional reliability. The work spans both foundational IoT architectures and specific protocol analyses, with an emphasis on applying rigorous formal methods to heterogeneous, resource-constrained IoT environments including healthcare systems.