{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:19:01Z","timestamp":1761293941256,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:00:00Z","timestamp":1559001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1657124"],"award-info":[{"award-number":["1657124"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["N66001-18-C-4006"],"award-info":[{"award-number":["N66001-18-C-4006"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,28]]},"DOI":"10.1145\/3322431.3325107","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"61-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Expat"],"prefix":"10.1145","author":[{"given":"Moosa","family":"Yahyazadeh","sequence":"first","affiliation":[{"name":"University of Iowa, Iowa City, IA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Proyash","family":"Podder","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Endadul","family":"Hoque","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Chowdhury","sequence":"additional","affiliation":[{"name":"University of Iowa, Iowa City, IA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"volume-title":"SoK: Security Evaluation of Home-Based IoT Deployments. In 2019 IEEE Symposiumon Security and Privacy (S&P). IEEE.","year":"2019","author":"Alrawi Omar","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"Amazon Alexa 2014. https:\/\/developer.amazon.com\/alexa  Amazon Alexa 2014. https:\/\/developer.amazon.com\/alexa"},{"key":"e_1_3_2_1_3_1","unstructured":"ANTLR 2019. ANother Tool for Language Recognition. https:\/\/www.antlr.org  ANTLR 2019. ANother Tool for Language Recognition. https:\/\/www.antlr.org"},{"key":"e_1_3_2_1_4_1","unstructured":"Apple HomePod 2019. https:\/\/www.apple.com\/homepod\/  Apple HomePod 2019. https:\/\/www.apple.com\/homepod\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org.  Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org."},{"volume-title":"Sensitive Information Trackingin Commodity IoT. In 27th USENIX Security Symposium (USENIX Security 18)","author":"Celik Z. Berkay","key":"e_1_3_2_1_6_1"},{"volume-title":"Soteria: Automated IoT Safety and Security Analysis. In 2018 USENIX Annual Technical Conference(USENIX ATC 18)","year":"2018","author":"Celik Z. Berkay","key":"e_1_3_2_1_7_1"},{"volume-title":"IoT Guard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. In Network and Distributed System Security Symposium (NDSS).","year":"2019","author":"Celik Z. Berkay","key":"e_1_3_2_1_8_1"},{"volume-title":"IoT Fuzzer: Discovering Memory Corruptions in IoT Through App-based Fuzzing. In Network and Distributed System Security Symposium (NDSS).","year":"2018","author":"Chen Jiongyi","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","unstructured":"Haotian Chi Qiang Zeng Xiaojiang Du and Jiaping Yu. 2018. Cross-App Inter-ference Threats in Smart Homes: Categorization Detection and Handling. CoRRabs\/1808.02125 (2018). arXiv:1808.02125  Haotian Chi Qiang Zeng Xiaojiang Du and Jiaping Yu. 2018. Cross-App Inter-ference Threats in Smart Homes: Categorization Detection and Handling. CoRRabs\/1808.02125 (2018). arXiv:1808.02125"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"},{"key":"e_1_3_2_1_12_1","unstructured":"EXPAT Github Repository 2019. https:\/\/github.com\/expat-paper\/expat.git.  EXPAT Github Repository 2019. https:\/\/github.com\/expat-paper\/expat.git."},{"volume":"00","volume-title":"Security Analysis of Emerging SmartHome Applications. In 2016 IEEE Symposium on Security and Privacy (SP)","author":"Fernandes E.","key":"e_1_3_2_1_13_1"},{"volume-title":"InUSENIX Security Symposium. 531--548","year":"2016","author":"Fernandes Earlence","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23119"},{"key":"e_1_3_2_1_16_1","unstructured":"Behrang Fouladi and Sahand Ghanoun. 2013. Honey I'm Home!! Hacking ZWaveHome Automation Systems. Black Hat USA(2013).  Behrang Fouladi and Sahand Ghanoun. 2013. Honey I'm Home!! Hacking ZWaveHome Automation Systems. Black Hat USA(2013)."},{"key":"e_1_3_2_1_17_1","unstructured":"Google Home 2019. http:\/\/home.google.com\/  Google Home 2019. http:\/\/home.google.com\/"},{"volume-title":"27th USENIX Security Symposium (USENIX Security 18)","year":"2018","author":"He Weijia","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897886"},{"key":"e_1_3_2_1_20_1","unstructured":"HomeKit 2019. https:\/\/www.apple.com\/ios\/home\/  HomeKit 2019. https:\/\/www.apple.com\/ios\/home\/"},{"key":"e_1_3_2_1_21_1","unstructured":"IFTTT 2019. A world that works for you. https:\/\/ifttt.com\/  IFTTT 2019. A world that works for you. https:\/\/ifttt.com\/"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180423"},{"volume-title":"21st Network and Distributed Security Symposium (NDSS).","year":"2017","author":"Jia Yunhan Jack","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078861.3078864"},{"key":"e_1_3_2_1_25_1","unstructured":"Natasha Lomas. 2015. Critical Flaw IDed In ZigBee Smart Home Devices. https:\/\/techcrunch.com\/2015\/08\/07\/critical-flaw-ided-in-zigbee-smart-home-devices\/.  Natasha Lomas. 2015. Critical Flaw IDed In ZigBee Smart Home Devices. https:\/\/techcrunch.com\/2015\/08\/07\/critical-flaw-ided-in-zigbee-smart-home-devices\/."},{"key":"e_1_3_2_1_26_1","unstructured":"ngrok - secure introspectable tunnels to localhost 2019. https:\/\/ngrok.com\/.  ngrok - secure introspectable tunnels to localhost 2019. https:\/\/ngrok.com\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2014.6997469"},{"key":"e_1_3_2_1_29_1","unstructured":"openHAB 2019. https:\/\/www.openhab.org  openHAB 2019. https:\/\/www.openhab.org"},{"key":"e_1_3_2_1_30_1","unstructured":"openHAB Action 2019. https:\/\/www.openhab.org\/docs\/configuration\/actions.html#actions  openHAB Action 2019. https:\/\/www.openhab.org\/docs\/configuration\/actions.html#actions"},{"volume-title":"Tyche: A Risk-Based Permission Model for Smart Homes. In 2018 IEEE Cybersecurity Development (SecDev)","year":"2018","author":"Rahmati Amir","key":"e_1_3_2_1_31_1"},{"volume-title":"2016 IEEE European Symposium on. IEEE, 3--12","year":"2016","author":"Ronen Eyal","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.14"},{"key":"e_1_3_2_1_34_1","unstructured":"Smart Things 2019. https:\/\/www.smartthings.com\/  Smart Things 2019. https:\/\/www.smartthings.com\/"},{"key":"e_1_3_2_1_35_1","unstructured":"Bruce Sussman. 2018.2-Second Hack: The Smart Lock the You Tuber and the Pen Tester. https:\/\/www.secureworldexpo.com\/industry-news\/iot-devices-hacked-example  Bruce Sussman. 2018.2-Second Hack: The Smart Lock the You Tuber and the Pen Tester. https:\/\/www.secureworldexpo.com\/industry-news\/iot-devices-hacked-example"},{"key":"e_1_3_2_1_36_1","unstructured":"The Z3 Theorem Prover 2019. https:\/\/github.com\/Z3Prover\/z3  The Z3 Theorem Prover 2019. https:\/\/github.com\/Z3Prover\/z3"},{"volume-title":"Smart Auth: User-Centered Authorization for the Internet of Things. In 26th USENIX Security Symposium (USENIX Security 17)","year":"2017","author":"Tian Yuan","key":"e_1_3_2_1_37_1"},{"volume-title":"Workshop on Home Usable Privacy and Security (HUPS). HUPS","year":"2013","author":"Ur Blase","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Qi Wang Wajih Ul Hassan Adam Bates and Carl Gunter. 2018. Fear and Logging in the Internet of Things. In ISOC NDSS.  Qi Wang Wajih Ul Hassan Adam Bates and Carl Gunter. 2018. Fear and Logging in the Internet of Things. In ISOC NDSS.","DOI":"10.14722\/ndss.2018.23282"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834095"},{"key":"e_1_3_2_1_41_1","unstructured":"Z3Py Guide 2019. https:\/\/ericpony.github.io\/z3py-tutorial\/guide-examples.htm  Z3Py Guide 2019. https:\/\/ericpony.github.io\/z3py-tutorial\/guide-examples.htm"}],"event":{"name":"SACMAT '19: The 24th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Toronto ON Canada","acronym":"SACMAT '19"},"container-title":["Proceedings of the 24th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325107","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325107","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:27Z","timestamp":1750206327000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325107"}},"subtitle":["Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms"],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":41,"alternative-id":["10.1145\/3322431.3325107","10.1145\/3322431"],"URL":"https:\/\/doi.org\/10.1145\/3322431.3325107","relation":{},"subject":[],"published":{"date-parts":[[2019,5,28]]},"assertion":[{"value":"2019-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}