TY  - RPRT
TI  - Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)
AU  - Pankaj Upadhyay
AU  - Subodh Sharma
AU  - Guangdong Bai
PY  - 2023
UR  - https://arxiv.org/abs/2312.12958
ID  - 2312.12958
ER  -