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

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai

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, he…