Hai Lin, Chenglong Li, Jiahai Yang, Zhiliang Wang, Jiaqi Bai: ZVDetector: State-Guided Vulnerability Detection System for Zigbee Devices. CCS 2025: 2549-2563