Li Li, Proyash Podder, Md. Endadul Hoque. A formal security analysis of ZigBee (1.0 and 3.0). In Perry Alexander, Drew Davidson, Baek-Young Choi, editors, Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020. ACM, 2020. [doi]
Abstract is missing.