Formal Methods IoT Security Verification

Formal verification and secure communication in networked and IoT systems are the central concerns, employing model checking tools such as SPIN and timed automata to verify protocol correctness and security properties. Papers address both the theoretical foundations of formal modeling (timed automata, greedy behavior analysis) and practical protocol verification (CoAP over routing layers). Cryptographic efficiency, particularly optimized elliptic curve cryptography for constrained heterogeneous IoT devices, complements the verification work by addressing implementation-level security.