Haotian Chi, Qiang Zeng, Xiaojiang Du: Detecting and Handling IoT Interaction Threats in Multi-Platform Multi-Control-Channel Smart Homes. USENIX Security Symposium 2023: 1559-1576