Subodh Sharma

Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)

2023 · arXiv (Cornell University)

The Thread protocol (or simply Thread ) is a popular networking protocol for the Internet of Things (IoT). It allows seamless integration of a set of applications and protocols, hence reducing the risk of incompatibility …