{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T07:39:29Z","timestamp":1763105969808,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["NSF-CNS-2132281"],"award-info":[{"award-number":["NSF-CNS-2132281"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,30]]},"DOI":"10.1145\/3611643.3613095","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"2147-2151","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Helion: Enabling Natural Testing of Smart Homes"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-1329-9818","authenticated-orcid":false,"given":"Prianka","family":"Mandal","sequence":"first","affiliation":[{"name":"William & Mary, Williamsburg, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3187-0044","authenticated-orcid":false,"given":"Sunil","family":"Manandhar","sequence":"additional","affiliation":[{"name":"IBM Research, Yorktown Heights, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1917-7677","authenticated-orcid":false,"given":"Kaushal","family":"Kafle","sequence":"additional","affiliation":[{"name":"William & Mary, Williamsburg, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9683-5616","authenticated-orcid":false,"given":"Kevin","family":"Moran","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5626-7586","authenticated-orcid":false,"given":"Denys","family":"Poshyvanyk","sequence":"additional","affiliation":[{"name":"William & Mary, Williamsburg, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6866-4565","authenticated-orcid":false,"given":"Adwait","family":"Nadkarni","sequence":"additional","affiliation":[{"name":"William & Mary, Williamsburg, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2023. Implementation of on Home Assistant. https:\/\/github.com\/Secure-Platforms-Lab-W-M\/Helion-on-Home-Assistant"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3277203.3277329"},{"key":"e_1_3_2_2_3_1","volume-title":"Soteria: Automated IoT Safety and Security Analysis. In 2018 USENIX Annual Technical Conference (USENIX ATC). 147\u2013158","author":"Celik Z. Berkay","year":"2018","unstructured":"Z. Berkay Celik, Patrick McDaniel, and Gang Tan. 2018. Soteria: Automated IoT Safety and Security Analysis. In 2018 USENIX Annual Technical Conference (USENIX ATC). 147\u2013158."},{"key":"e_1_3_2_2_4_1","volume-title":"IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In 2019 NDSS Symposium. To appear.","author":"Celik Z. Berkay","year":"2019","unstructured":"Z. Berkay Celik, Gang Tan, and Patrick McDaniel. 2019. IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In 2019 NDSS Symposium. To appear."},{"key":"e_1_3_2_2_5_1","volume-title":"An empirical study of smoothing techniques for language modeling. Computer Speech & Language, 13, 4","author":"Chen Stanley F","year":"1999","unstructured":"Stanley F Chen and Joshua Goodman. 1999. An empirical study of smoothing techniques for language modeling. Computer Speech & Language, 13, 4 (1999)."},{"volume-title":"On the Naturalness of Software. In International Conference on Software Engineering (ICSE\u201912)","author":"Hindle A.","key":"e_1_3_2_2_6_1","unstructured":"A. Hindle, E.T. Barr, Z. Su, M. Gabel, and P. Devanbu. 2012. On the Naturalness of Software. In International Conference on Software Engineering (ICSE\u201912). 837\u2013847."},{"key":"e_1_3_2_2_7_1","unstructured":"Home Assistant. Accessed May 2023. Home Assistant. https:\/\/www.home-assistant.io\/"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23051"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3292006.3300031"},{"key":"e_1_3_2_2_10_1","article-title":"Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue","volume":"5","author":"Kafle Kaushal","year":"2020","unstructured":"Kaushal Kafle, Kevin Moran, Sunil Manandhar, Adwait Nadkarni, and Denys Poshyvanyk. 2020. Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue. ACM Transactions on Cyber-Physical Systems (TCPS), 5, 1 (2020), Dec..","journal-title":"ACM Transactions on Cyber-Physical Systems (TCPS)"},{"key":"e_1_3_2_2_11_1","unstructured":"Lovelace UI. 2023. Lovelace UI released!. https:\/\/www.home-assistant.io\/blog\/2019\/01\/23\/lovelace-released\/"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Sunil Manandhar Kevin Moran Kaushal Kafle Ruhao Tang Denys Poshyvanyk and Adwait Nadkarni. 2020. Towards a natural perspective of smart homes for practical security and safety analyses. In 2020 ieee symposium on security and privacy (sp). 482\u2013499.","DOI":"10.1109\/SP40000.2020.00062"},{"key":"e_1_3_2_2_13_1","unstructured":"Nest Labs. Accessed June 2018. Works with Nest. https:\/\/nest.com\/works-with-nest\/\/"},{"key":"e_1_3_2_2_14_1","volume-title":"Accessed","author":"Developer Documentation SmartThings","year":"2018","unstructured":"SmartThings Developer Documentation. Accessed December 2018. Capabilities Reference. https:\/\/docs.smartthings.com\/en\/latest\/capabilities-reference.html"},{"key":"e_1_3_2_2_15_1","unstructured":"Smartthings Developers. Accessed June 2018. Documentation. http:\/\/developer.smartthings.com\/"},{"key":"e_1_3_2_2_16_1","unstructured":"Sunil Manandhar. 2020. Data and Source Code. https:\/\/github.com\/helion-security\/helion"},{"key":"e_1_3_2_2_17_1","volume-title":"Fear and Logging in the Internet of Things. In Network and Distributed Systems Symposium.","author":"Wang Qi","year":"2018","unstructured":"Qi Wang, Wajih Ul Hassan, Adam Bates, and Carl Gunter. 2018. Fear and Logging in the Internet of Things. In Network and Distributed Systems Symposium."}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"San Francisco CA USA","acronym":"ESEC\/FSE '23"},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3613095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:10Z","timestamp":1750178230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":17,"alternative-id":["10.1145\/3611643.3613095","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3613095","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}