IoTSafe: Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery
Wenbo Ding, Hongxin Hu, Long Cheng
Abstract
—The Internet of Things (IoT) platforms bring significant convenience for increased home automation. Especially, these platforms provide many new features for managing multiple IoT devices to control their physical surroundings. However, these features also bring new safety and security challenges. For example, an attacker can manipulate IoT devices to launch attacks through unexpected physical interactions. Unfortunately, very few existing research investigates the physical interactions among IoT devices and their impacts on IoT safety and security. In this paper, we propose a novel dynamic safety and security policy enforcement system called I O TS AFE , which can capture and manage real physical interactions considering contextual features on smart home platforms. To identify real physical interactions of IoT devices, we present a runtime physical interaction discovery approach, which employs both static analysis and dynamic testing techniques to identify runtime physical interactions among IoT devices. In addition, I O TS AFE constructs physical models for temporal physical interactions, which can predict incoming risky situations and block unsafe device states accordingly. We implement a prototype of I O TS AFE on the SmartThings platform. Our extensive evaluations demonstrate that I O TS AFE effectively identifies 39 real physical interactions among 130 potential interactions in our experimental environment. I O TS AFE also successfully predicts risky situations related to temporal physical interactions with nearly 96% accuracy and prevents highly risky conditions.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext f708f1f7-efff-436e-aa0b-366eea60dd55Cited by top-tier papers11
- Discovering IoT Physical Channel VulnerabilitiesMuslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik et al.CCS 2022 · 25 citations
- Federated IoT Interaction Vulnerability AnalysisGuangjing Wang, Hanqing Guo, Anran Li, Xiaorui Liu et al.ICDE 2023 · 20 citations
- P-Verifier: Understanding and Mitigating Security Risks in Cloud-based IoT Access PoliciesZe Jin, Luyi Xing, Yiwei Fang, Yan Jia et al.CCS 2022 · 19 citations
- Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule DataGuangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang et al.SIGMOD 2023 · 12 citations
- TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property ReasoningYinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia LiuUSENIX Security 2024 · 6 citations
Builds on14
- Security Analysis of Emerging Smart Home ApplicationsEarlence Fernandes, Jaeyeon Jung, Atul PrakashS&P 2016 · 684 citations
- IoT Goes Nuclear: Creating a ZigBee Chain ReactionEyal Ronen, Adi Shamir, Achi-Or Weingarten, Colin O'FlynnS&P 2017 · 476 citations
- IoTFuzzer: Discovering Memory Corruptions in IoT Through App-based FuzzingJiongyi Chen, Wenrui Diao, Qingchuan Zhao, Chaoshun Zuo et al.NDSS 2018 · 311 citations
- FlowFence: Practical Data Protection for Emerging IoT Application FrameworksEarlence Fernandes, Justin Paupore, Amir Rahmati, Daniel Simionato et al.USENIX Security 2016 · 296 citations
- IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoTZ. Berkay Celik, Gang Tan, Patrick D. McDanielNDSS 2019 · 254 citations
Related papers
- On the Safety of IoT Device Physical Interaction ControlWenbo Ding, Hongxin HuCCS 2018 · 169 citations
- IoTGaze: IoT Security Enforcement via Wireless Context AnalysisTianbo Gu, Zheng Fang, Allaukik Abhishek, Hao Fu et al.INFOCOM 2020 · 52 citations
- Scalable analysis of interaction threats in IoT systemsMohannad Alhanahnah, Clay Stevens, Hamid BagheriISSTA 2020 · 63 citations
- Detecting and Handling IoT Interaction Threats in Multi-Platform Multi-Control-Channel Smart HomesHaotian Chi, Qiang Zeng, Xiaojiang DuUSENIX Security 2023
- Detecting and Handling WoT Violations by Learning Physical Interactions from Device LogsBingkun Sun, Shiqi Sun, Jialin Ren, Mingming Hu et al.FSE 2025
