{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T05:45:42Z","timestamp":1782798342398,"version":"3.54.5"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,18]]},"DOI":"10.1109\/infocom59046.2026.11571760","type":"proceedings-article","created":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T19:38:15Z","timestamp":1782761895000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Rule Anomalies and Interference for Home Automation"],"prefix":"10.1109","author":[{"given":"Yuchen","family":"Zhao","sequence":"first","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Dong","sequence":"additional","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lifu","family":"Wang","sequence":"additional","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianjie","family":"Zhou","sequence":"additional","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhen","family":"Ling","sequence":"additional","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ming","family":"Yang","sequence":"additional","affiliation":[{"name":"Southeast University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinwen","family":"Fu","sequence":"additional","affiliation":[{"name":"University of Massachusetts Lowell,Lowell,MA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23282"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3057861"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243820"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155459"},{"key":"ref6","first-page":"4223","article-title":"HAWatcher: Semantics-Aware Anomaly Detection for Appified Smart Homes","volume-title":"Proceedings of the 30th USENIX Security Symposium (USENIX Security\u201921)","author":"Fu"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24003"},{"key":"ref8","first-page":"147","article-title":"Soteria: Automated IoT Safety and Security Analysis","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC\u201918)","author":"Celik"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345662"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833620"},{"key":"ref11","first-page":"1559","article-title":"Detecting and Handling IoT Interaction Threats in Multi-Platform Multi-Control-Channel Smart Homes","volume-title":"Proceedings of the 32nd USENIX Security Symposium (USENIX Security\u201923)","author":"Chi"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3185501"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00043"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3179294"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3214084"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598084"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23326"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24368"},{"key":"ref21","article-title":"Smartthings"},{"key":"ref22","article-title":"IFTTT website"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1410"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1997.637166"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SPW53761.2021.00038"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM48880.2022.9796872"},{"key":"ref27","article-title":"Android Debug Bridge"},{"key":"ref28","article-title":"UI Automator"},{"key":"ref29","article-title":"Charles tools","author":"von Randow"},{"key":"ref30","article-title":"Frida tools"},{"key":"ref31","article-title":"Tcpdump website"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46029-2_13"},{"key":"ref33","article-title":"Groovy SmartApp Shutdown"},{"key":"ref34","article-title":"IoTBench Test Suite","author":"Celik"},{"key":"ref35","first-page":"1687","article-title":"Sensitive Information Tracking in Commodity IoT","volume-title":"Proceedings of the 27th USENIX Security Symposium (USENIX Security\u201918)","author":"Celik"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23051"},{"key":"ref37","article-title":"Smartthings public repository"},{"key":"ref38","article-title":"Aircrack-ng tools"},{"key":"ref39","article-title":"KillerBee tools"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560644"},{"key":"ref41","article-title":"NuSMV model checker","author":"Cimatti"},{"key":"ref42","doi-asserted-by":"crossref","article-title":"Spin model checker","author":"Holzmann","DOI":"10.1109\/32.588521"},{"key":"ref43","article-title":"Maude model checker","author":"Bae"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"}],"event":{"name":"IEEE INFOCOM 2026 - IEEE Conference on Computer Communications","location":"Tokyo, Japan","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["IEEE INFOCOM 2026 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11571071\/11571169\/11571760.pdf?arnumber=11571760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T05:27:19Z","timestamp":1782797239000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11571760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/infocom59046.2026.11571760","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}