{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:52:54Z","timestamp":1777503174203,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":93,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,4]],"date-time":"2018-12-04T00:00:00Z","timestamp":1543881600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,12,4]]},"DOI":"10.1145\/3281411.3281440","type":"proceedings-article","created":{"date-parts":[[2018,11,28]],"date-time":"2018-11-28T19:16:10Z","timestamp":1543432570000},"page":"191-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":111,"title":["IotSan"],"prefix":"10.1145","author":[{"given":"Dang Tu","family":"Nguyen","sequence":"first","affiliation":[{"name":"UC Riverside"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengyu","family":"Song","sequence":"additional","affiliation":[{"name":"UC Riverside"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyun","family":"Qian","sequence":"additional","affiliation":[{"name":"UC Riverside"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srikanth V.","family":"Krishnamurthy","sequence":"additional","affiliation":[{"name":"UC Riverside"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward J. M.","family":"Colbert","sequence":"additional","affiliation":[{"name":"U.S. Army Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"McDaniel","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,12,4]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.107"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2011.5747474"},{"key":"e_1_3_2_2_3_1","unstructured":"Amazon. 2018. Alexa. https:\/\/developer.amazon.com\/alexa. (June 2018).  Amazon. 2018. Alexa. https:\/\/developer.amazon.com\/alexa. (June 2018)."},{"key":"e_1_3_2_2_4_1","unstructured":"Apple. 2018. HomeKit. https:\/\/developer.apple.com\/homekit\/. (June 2018).  Apple. 2018. HomeKit. https:\/\/developer.apple.com\/homekit\/. (June 2018)."},{"key":"e_1_3_2_2_5_1","unstructured":"C. Baier and J. P. Katoen. 2008. Principles of Model Checking. The MIT Press Cambridge Massachusetts London England.   C. Baier and J. P. Katoen. 2008. Principles of Model Checking. The MIT Press Cambridge Massachusetts London England."},{"key":"e_1_3_2_2_6_1","unstructured":"Brian Belleville Patrick Biernat Adam Cotenoff Kevin Hock Tanner Prynn Sivaranjani Sankaralingam Terry Sun and Daniel Mayer. 2018. Internet of Things Security. https:\/\/www.nccgroup.trust\/us\/our-research\/internet-of-things-security\/. (2018).  Brian Belleville Patrick Biernat Adam Cotenoff Kevin Hock Tanner Prynn Sivaranjani Sankaralingam Terry Sun and Daniel Mayer. 2018. Internet of Things Security. https:\/\/www.nccgroup.trust\/us\/our-research\/internet-of-things-security\/. (2018)."},{"key":"e_1_3_2_2_7_1","unstructured":"Z. Berkay Celik E. Fernandes E. Pauley G. Tan and P. McDaniel. 2018. Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities. ArXiv e-prints (Sept. 2018). arXiv:cs.CR\/1809.06962  Z. Berkay Celik E. Fernandes E. Pauley G. Tan and P. McDaniel. 2018. Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities. ArXiv e-prints (Sept. 2018). arXiv:cs.CR\/1809.06962"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3013520"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.3390\/s140814932"},{"key":"e_1_3_2_2_10_1","volume-title":"Software Verification: Testing vs. Model Checking. In Hardware and Software: Verification and Testing","author":"Beyer Dirk","year":"2017"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"Armin Biere Alessandro Cimatti Edmund Clarke and Yunshan Zhu. 1999. Symbolic Model Checking without BDDs. Springer Heidelberg 193--207.   Armin Biere Alessandro Cimatti Edmund Clarke and Yunshan Zhu. 1999. Symbolic Model Checking without BDDs. Springer Heidelberg 193--207.","DOI":"10.1007\/3-540-49059-0_14"},{"key":"e_1_3_2_2_12_1","volume-title":"Proc. Financial Cryptography and Data Security","author":"Busold Christoph"},{"key":"e_1_3_2_2_13_1","volume-title":"Proc. 7th FORTE Conference","author":"Cattel T.","year":"1994"},{"key":"e_1_3_2_2_14_1","unstructured":"Z. Berkay Celik Leonardo Babun Amit Kumar Sikder Hidayet Aksu Gang Tan Patrick McDaniel and A. Selcuk Uluagac. 2018. Sensitive Information Tracking in Commodity IoT. In USENIX Security 18. Baltimore MD.   Z. Berkay Celik Leonardo Babun Amit Kumar Sikder Hidayet Aksu Gang Tan Patrick McDaniel and A. Selcuk Uluagac. 2018. Sensitive Information Tracking in Commodity IoT. In USENIX Security 18. Baltimore MD."},{"key":"e_1_3_2_2_15_1","volume-title":"Soteria: Automated IoT Safety and Security Analysis. In USENIX ATC 18.","author":"Celik Z. Berkay","year":"2018"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"H. Chandra E. Anggadjaja P. S. Wijaya and E. Gunawan. 2016. Internet of Things: Over-the-Air (OTA) firmware update in Lightweight mesh network protocol for smart urban development. In APCC 16. 115--118.  H. Chandra E. Anggadjaja P. S. Wijaya and E. Gunawan. 2016. Internet of Things: Over-the-Air (OTA) firmware update in Lightweight mesh network protocol for smart urban development. In APCC 16. 115--118.","DOI":"10.1109\/APCC.2016.7581459"},{"key":"e_1_3_2_2_17_1","volume-title":"Proc. 4th FORTE Conference","author":"Chaves J.","year":"1991"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0027-9"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke William Klieber Milo\u0161 Nov\u00e1\u010dek and Paolo Zuliani. 2012. Tools for Practical Software Verification. Springer Heidelberg. 1--30 pages.  Edmund M. Clarke William Klieber Milo\u0161 Nov\u00e1\u010dek and Paolo Zuliani. 2012. Tools for Practical Software Verification. Springer Heidelberg. 1--30 pages.","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"e_1_3_2_2_20_1","unstructured":"SmartThings Community. 2018. Community Smart Apps. https:\/\/community.smartthings.com\/c\/smartapps. (Sept. 2018).  SmartThings Community. 2018. Community Smart Apps. https:\/\/community.smartthings.com\/c\/smartapps. (Sept. 2018)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_42"},{"key":"e_1_3_2_2_22_1","volume-title":"Proc. USENIX Security 14","author":"Costin A."},{"key":"e_1_3_2_2_23_1","volume-title":"USENIX ATC 15.","author":"Croft Jason"},{"key":"e_1_3_2_2_24_1","unstructured":"CropMetrics. 2018. Irrigation management. http:\/\/cropmetrics.com\/. (2018).  CropMetrics. 2018. Irrigation management. http:\/\/cropmetrics.com\/. (2018)."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5120\/ijca2016909113"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Yifei Dong Xiaoqun Du Y. S. Ramakrishna C. R. Ramakrishnan I. V. Ramakrishnan Scott A. Smolka Oleg Sokolsky Eugene W. Stark and David S. Warren. 1999. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. Springer Heidelberg 74--88.   Yifei Dong Xiaoqun Du Y. S. Ramakrishna C. R. Ramakrishnan I. V. Ramakrishnan Scott A. Smolka Oleg Sokolsky Eugene W. Stark and David S. Warren. 1999. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. Springer Heidelberg 74--88.","DOI":"10.1007\/3-540-49059-0_6"},{"key":"e_1_3_2_2_27_1","unstructured":"Roya Ensafi Jong Chun Park Deepak Kapur and Jedidiah R. Crandall. 2010. Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. In USENIX Security 10. USA.   Roya Ensafi Jong Chun Park Deepak Kapur and Jedidiah R. Crandall. 2010. Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. In USENIX Security 10. USA."},{"key":"e_1_3_2_2_28_1","volume-title":"Proc. IEEE Symposium on Security and Privacy","author":"Fernandes E."},{"key":"e_1_3_2_2_29_1","unstructured":"E. Fernandes J. Paupore A. Rahmati D. Simionato M. Conti and A. Prakash. 2016. FlowFence: Practical Data Protection for Emerging IoT Application Frameworks. In USENIX Security 16. USA 531--548.   E. Fernandes J. Paupore A. Rahmati D. Simionato M. Conti and A. Prakash. 2016. FlowFence: Practical Data Protection for Emerging IoT Application Frameworks. In USENIX Security 16. USA 531--548."},{"key":"e_1_3_2_2_30_1","unstructured":"Joe Filippello. 2018. SmartSense Presence Sensor Failure. https:\/\/community.smartthings.com\/t\/smartsense-presence-sensor-failure\/16644\/9. (June 2018).  Joe Filippello. 2018. SmartSense Presence Sensor Failure. https:\/\/community.smartthings.com\/t\/smartsense-presence-sensor-failure\/16644\/9. (June 2018)."},{"key":"e_1_3_2_2_31_1","unstructured":"D. Fisher. 2018. Pair of Bugs Open Honeywell Home Controllers Up to Easy Hacks. https:\/\/threatpost.com\/pair-of-bugs-open-honeywell-home-controllers-up-to-easy-hacks\/113965\/. (June 2018).  D. Fisher. 2018. Pair of Bugs Open Honeywell Home Controllers Up to Easy Hacks. https:\/\/threatpost.com\/pair-of-bugs-open-honeywell-home-controllers-up-to-easy-hacks\/113965\/. (June 2018)."},{"key":"e_1_3_2_2_32_1","unstructured":"B. Fouladi and S. Ghanoun. 2013. Honey I'm home!! - hacking z-wave home automation systems. Black Hat Las Vegas NV USA.  B. Fouladi and S. Ghanoun. 2013. Honey I'm home!! - hacking z-wave home automation systems. Black Hat Las Vegas NV USA."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid and Koushik Sen. 2018. Combining Model Checking and Testing. Springer International Publishing 613--649.  Patrice Godefroid and Koushik Sen. 2018. Combining Model Checking and Testing. Springer International Publishing 613--649.","DOI":"10.1007\/978-3-319-10575-8_19"},{"key":"e_1_3_2_2_34_1","unstructured":"Dorset Gray. 2018. Devices Offline and Unavailable. https:\/\/community.smartthings.com\/t\/devices-offline-and-unavailable\/100248. (June 2018).  Dorset Gray. 2018. Devices Offline and Unavailable. https:\/\/community.smartthings.com\/t\/devices-offline-and-unavailable\/100248. (June 2018)."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-014-9408-8"},{"key":"e_1_3_2_2_36_1","unstructured":"Amy Groden-Morrison. 2018. How the Internet of Things will Drive Mobile App Development. https:\/\/www.alphasoftware.com\/blog\/internet-of-things-will-drive-mobile-app-development\/. (June 2018).  Amy Groden-Morrison. 2018. How the Internet of Things will Drive Mobile App Development. https:\/\/www.alphasoftware.com\/blog\/internet-of-things-will-drive-mobile-app-development\/. (June 2018)."},{"key":"e_1_3_2_2_37_1","unstructured":"Groovy. 2018. Type checking extensions. http:\/\/docs.groovy-lang.org\/next\/html\/documentation\/type-checking-extensions.html. (June 2018).  Groovy. 2018. Type checking extensions. http:\/\/docs.groovy-lang.org\/next\/html\/documentation\/type-checking-extensions.html. (June 2018)."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"crossref","unstructured":"John Hatcliff and Matthew Dwyer. 2001. Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. Springer Heidelberg 39--58.   John Hatcliff and Matthew Dwyer. 2001. Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. Springer Heidelberg 39--58.","DOI":"10.1007\/3-540-44685-0_5"},{"key":"e_1_3_2_2_39_1","unstructured":"John Hatcliff and Matthew Dwyer. 2018. About Bandera. http:\/\/bandera.projects.cs.ksu.edu\/. (June 2018).  John Hatcliff and Matthew Dwyer. 2018. About Bandera. http:\/\/bandera.projects.cs.ksu.edu\/. (June 2018)."},{"key":"e_1_3_2_2_40_1","unstructured":"A. Hesseldahl. 2018. A Hacker's-Eye View of the Internet of Things. https:\/\/www.recode.net\/2015\/4\/7\/11561182\/a-hackers-eye-view-of-the-internet-of-things. (June 2018).  A. Hesseldahl. 2018. A Hacker's-Eye View of the Internet of Things. https:\/\/www.recode.net\/2015\/4\/7\/11561182\/a-hackers-eye-view-of-the-internet-of-things. (June 2018)."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897886"},{"key":"e_1_3_2_2_42_1","volume-title":"Proc. 7th FORTE Conference","author":"Holzmann G. J.","year":"1994"},{"key":"e_1_3_2_2_43_1","volume-title":"13th IFIP World Computer Congress. Germany.","author":"Holzmann G.J.","year":"1994"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008696026254"},{"key":"e_1_3_2_2_46_1","unstructured":"IBM. 2018. IBM IoT for manufacturing. https:\/\/www.ibm.com\/internet-of-things\/industries\/iot-manufacturing. (2018).  IBM. 2018. IBM IoT for manufacturing. https:\/\/www.ibm.com\/internet-of-things\/industries\/iot-manufacturing. (2018)."},{"key":"e_1_3_2_2_47_1","unstructured":"IFTTT. 2018. IFTTT Homepage. https:\/\/ifttt.com\/. (June 2018).  IFTTT. 2018. IFTTT Homepage. https:\/\/ifttt.com\/. (June 2018)."},{"key":"e_1_3_2_2_48_1","unstructured":"Texas Instruments. 2018. EZSync CC2531 Evaluation Module USB Dongle. http:\/\/www.ti.com\/tool\/CC2531EMK. (June 2018).  Texas Instruments. 2018. EZSync CC2531 Evaluation Module USB Dongle. http:\/\/www.ti.com\/tool\/CC2531EMK. (June 2018)."},{"key":"e_1_3_2_2_49_1","unstructured":"Intel. 2018. Smart Buildings. https:\/\/www.intel.com\/content\/www\/us\/en\/internet-of-things\/smart-building-solutions.html. (June 2018).  Intel. 2018. Smart Buildings. https:\/\/www.intel.com\/content\/www\/us\/en\/internet-of-things\/smart-building-solutions.html. (June 2018)."},{"key":"e_1_3_2_2_50_1","unstructured":"BI Intelligence. 2018. Here's how the Internet of Things will Explode by 2020. http:\/\/www.businessinsider.com\/iot-ecosystem-internet-of-things-forecasts-and-business-opportunities\/2016-2. (June 2018).  BI Intelligence. 2018. Here's how the Internet of Things will Explode by 2020. http:\/\/www.businessinsider.com\/iot-ecosystem-internet-of-things-forecasts-and-business-opportunities\/2016-2. (June 2018)."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_2_52_1","volume-title":"NDSS'17","author":"Jia Y. J."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"crossref","unstructured":"Daniel Kroening and Michael Tautschnig. 2014. CBMC - C Bounded Model Checker. Springer Heidelberg 389--391.  Daniel Kroening and Michael Tautschnig. 2014. CBMC - C Bounded Model Checker. Springer Heidelberg 389--391.","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"crossref","unstructured":"J. S. Lee Yuan-Ming Wang and C. C. Shen. 2012. Performance evaluation of ZigBee-based sensor networks using empirical measurements. In IEEE CYBER 12. 58--63.  J. S. Lee Yuan-Ming Wang and C. C. Shen. 2012. Performance evaluation of ZigBee-based sensor networks using empirical measurements. In IEEE CYBER 12. 58--63.","DOI":"10.1109\/CYBER.2012.6392527"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"crossref","unstructured":"Flavio Lerda Nishant Sinha and Michael Theobald. 2003. Symbolic Model Checking of Software. Elsevier Electronic Notes in Theoretical Computer Science 89 (Sept. 2003) 480--498.  Flavio Lerda Nishant Sinha and Michael Theobald. 2003. Symbolic Model Checking of Software. Elsevier Electronic Notes in Theoretical Computer Science 89 (Sept. 2003) 480--498.","DOI":"10.1016\/S1571-0661(05)80008-8"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"e_1_3_2_2_57_1","unstructured":"Logitech. 2018. Harmony Hub. https:\/\/www.logitech.com\/en-us\/product\/harmony-hub. (June 2018).  Logitech. 2018. Harmony Hub. https:\/\/www.logitech.com\/en-us\/product\/harmony-hub. (June 2018)."},{"key":"e_1_3_2_2_58_1","unstructured":"N. Lomas. 2018. Critical Flaw IDed In ZigBee Smart Home Devices. https:\/\/techcrunch.com\/2015\/08\/07\/critical-flaw-ided-in-zigbee-smart-home-devices\/. (June 2018).  N. Lomas. 2018. Critical Flaw IDed In ZigBee Smart Home Devices. https:\/\/techcrunch.com\/2015\/08\/07\/critical-flaw-ided-in-zigbee-smart-home-devices\/. (June 2018)."},{"key":"e_1_3_2_2_59_1","unstructured":"Medria Solution. 2018. Livestock monitoring. http\\protect\\kern+.2222em\\relax\/\/www.medria.fr\/en\/solutions\/. (2018).  Medria Solution. 2018. Livestock monitoring. http\\protect\\kern+.2222em\\relax\/\/www.medria.fr\/en\/solutions\/. (2018)."},{"key":"e_1_3_2_2_60_1","volume-title":"2012 IEEE 14th International Conference on e-Health Networking, Applications and Services (Healthcom). 462--465","author":"Memon M. U."},{"key":"e_1_3_2_2_61_1","unstructured":"Andrew Meola. 2018. How the Internet of Things will affect security & privacy. http:\/\/www.businessinsider.com\/internet-of-things-security-privacy-2016-8. (June 2018).  Andrew Meola. 2018. How the Internet of Things will affect security & privacy. http:\/\/www.businessinsider.com\/internet-of-things-security-privacy-2016-8. (June 2018)."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_12"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131365.3131369"},{"key":"e_1_3_2_2_64_1","unstructured":"Microsoft. 2018. Azure IoT. https:\/\/azure.microsoft.com\/en-us\/services\/iot-hub\/. (June 2018).  Microsoft. 2018. Azure IoT. https:\/\/azure.microsoft.com\/en-us\/services\/iot-hub\/. (June 2018)."},{"key":"e_1_3_2_2_65_1","unstructured":"Microsoft. 2018. Microsoft IoT for manufacturing. https:\/\/www.microsoft.com\/en-us\/internet-of-things\/manufacturing. (2018).  Microsoft. 2018. Microsoft IoT for manufacturing. https:\/\/www.microsoft.com\/en-us\/internet-of-things\/manufacturing. (2018)."},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"crossref","unstructured":"M. Mohsin Z. Anwar G. Husari E. Al-Shaer and M. A. Rahman. 2016. IoTSAT: A formal framework for security analysis of the Internet of Things (IoT). In IEEE CNS 16. USA 180--188.  M. Mohsin Z. Anwar G. Husari E. Al-Shaer and M. A. Rahman. 2016. IoTSAT: A formal framework for security analysis of the Internet of Things (IoT). In IEEE CNS 16. USA 180--188.","DOI":"10.1109\/CNS.2016.7860484"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"crossref","unstructured":"M Mohsin Z. Anwar Farhat Zaman and Ehab Al-Shaer. 2017. IoTChecker: A data-driven framework for security analytics of Internet of Things configurations. Elsevier Computer and Security 70 (Sept. 2017) 199--223.  M Mohsin Z. Anwar Farhat Zaman and Ehab Al-Shaer. 2017. IoTChecker: A data-driven framework for security analytics of Internet of Things configurations. Elsevier Computer and Security 70 (Sept. 2017) 199--223.","DOI":"10.1016\/j.cose.2017.05.012"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"crossref","unstructured":"M Mohsin MU Sardar O. Hasan and Z. Anwar. 2017. IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Acess 5 (April 2017) 5494--5505.  M Mohsin MU Sardar O. Hasan and Z. Anwar. 2017. IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Acess 5 (April 2017) 5494--5505.","DOI":"10.1109\/ACCESS.2017.2696031"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133850.3133860"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.041110.00022"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.14"},{"key":"e_1_3_2_2_72_1","volume-title":"Proc. 2016 IEEE European Symposium on Security and Privacy. Germany, 3--12","author":"Ronen E."},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/TLA.2016.7483485"},{"key":"e_1_3_2_2_74_1","unstructured":"Samsung. 2018. SmartThings. https:\/\/www.smartthings.com\/. (June 2018).  Samsung. 2018. SmartThings. https:\/\/www.smartthings.com\/. (June 2018)."},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11280-017-0459-8"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1177\/1550147718767605"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"crossref","unstructured":"Natarajan Shankar. 2018. Combining Model Checking and Deduction. Springer International Publishing 651--684.  Natarajan Shankar. 2018. Combining Model Checking and Deduction. Springer International Publishing 651--684.","DOI":"10.1007\/978-3-319-10575-8_20"},{"key":"e_1_3_2_2_78_1","volume-title":"Sampling Race: Bypassing Timing-Based Analog Active Sensor Spoofing Detection on Analog-Digital Systems. In USENIX Workshop on Offensive Technologies.","author":"Shin Hocheol","year":"2016"},{"key":"e_1_3_2_2_79_1","unstructured":"SmartThings. 2018. SmartThings Community on GitHub. https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps. (Sept. 2018).  SmartThings. 2018. SmartThings Community on GitHub. https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps. (Sept. 2018)."},{"key":"e_1_3_2_2_80_1","unstructured":"SmartThings. 2018. SmartThings management page. https:\/\/graph-na02-useast1.api.smartthings.com\/. (June 2018).  SmartThings. 2018. SmartThings management page. https:\/\/graph-na02-useast1.api.smartthings.com\/. (June 2018)."},{"key":"e_1_3_2_2_81_1","unstructured":"Yunmok Son Hocheol Shin Dongkwan Kim Young-Seok Park Juhwan Noh Kibum Choi Jungwoo Choi Yongdae Kim etal 2015. Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors.. In USENIX Security 15. 881--896.   Yunmok Son Hocheol Shin Dongkwan Kim Young-Seok Park Juhwan Noh Kibum Choi Jungwoo Choi Yongdae Kim et al. 2015. Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors.. In USENIX Security 15. 881--896."},{"key":"e_1_3_2_2_82_1","unstructured":"Spin. 2018. What is Spin? http:\/\/spinroot.com\/spin\/whatispin.html. (June 2018).  Spin. 2018. What is Spin? http:\/\/spinroot.com\/spin\/whatispin.html. (June 2018)."},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"crossref","unstructured":"A. Tekeoglu and A. S. Tosun. 2016. A Testbed for Security and Privacy Analysis of IoT Devices. In IEEE MASS 16. 343--348.  A. Tekeoglu and A. S. Tosun. 2016. A Testbed for Security and Privacy Analysis of IoT Devices. In IEEE MASS 16. 343--348.","DOI":"10.1109\/MASS.2016.051"},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"crossref","unstructured":"Bent Thomsen Kasper S\u00f8e Luckow Lone Leth and Thomas B\u00f8gholm. 2015. From Safety Critical Java Programs to Timed Process Models. Springer International Publishing 319--338.  Bent Thomsen Kasper S\u00f8e Luckow Lone Leth and Thomas B\u00f8gholm. 2015. From Safety Critical Java Programs to Timed Process Models. Springer International Publishing 319--338.","DOI":"10.1007\/978-3-319-25527-9_21"},{"key":"e_1_3_2_2_85_1","volume-title":"USENIX Security 17.","author":"Tian Yuan"},{"key":"e_1_3_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858556"},{"key":"e_1_3_2_2_87_1","unstructured":"Vera. 2018. Smart Home Controller. http:\/\/getvera.com\/controllers\/vera3\/. (June 2018).  Vera. 2018. Smart Home Controller. http:\/\/getvera.com\/controllers\/vera3\/. (June 2018)."},{"key":"e_1_3_2_2_88_1","unstructured":"Amauri Viguera. 2018. More unavailable devices. https:\/\/community.smartthings.com\/t\/more-unavailable-devices\/98584. (June 2018).  Amauri Viguera. 2018. More unavailable devices. https:\/\/community.smartthings.com\/t\/more-unavailable-devices\/98584. (June 2018)."},{"key":"e_1_3_2_2_89_1","volume-title":"Fear and Logging in the Internet of Things. In NDSS'18","author":"Wang Qi","year":"2018"},{"key":"e_1_3_2_2_90_1","unstructured":"Evan Wilkins. 2018. Devices showing up as 'This device is unavailable at the moment'. https:\/\/community.smartthings.com\/t\/devices-showing-up-as-this-device-is-unavailable-at-the-moment\/94724. (June 2018).  Evan Wilkins. 2018. Devices showing up as 'This device is unavailable at the moment'. https:\/\/community.smartthings.com\/t\/devices-showing-up-as-this-device-is-unavailable-at-the-moment\/94724. (June 2018)."},{"key":"e_1_3_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3081333.3081342"},{"key":"e_1_3_2_2_92_1","first-page":"1","article-title":"VulHunter: A Discovery for unknown Bugs based on Analysis for known patches in Industry Internet of Things","volume":"99","author":"Xiao F.","year":"2017","journal-title":"IEEE Transactions on Emerging Topics in Computing PP"},{"key":"e_1_3_2_2_93_1","unstructured":"Yuchen Yang Longfei Wu Guisheng Yin Lijie Li and Hongbin Zhao. 2017. A Survey on Security and Privacy Issues in Internet-of-Things. IEEE Internet of Things Journal PP (April 2017) 1--10.  Yuchen Yang Longfei Wu Guisheng Yin Lijie Li and Hongbin Zhao. 2017. A Survey on Security and Privacy Issues in Internet-of-Things. IEEE Internet of Things Journal PP (April 2017) 1--10."}],"event":{"name":"CoNEXT '18: The 14th International Conference on emerging Networking EXperiments and Technologies","location":"Heraklion Greece","acronym":"CoNEXT '18","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281411.3281440","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281411.3281440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:18Z","timestamp":1750208238000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281411.3281440"}},"subtitle":["fortifying the safety of IoT systems"],"short-title":[],"issued":{"date-parts":[[2018,12,4]]},"references-count":93,"alternative-id":["10.1145\/3281411.3281440","10.1145\/3281411"],"URL":"https:\/\/doi.org\/10.1145\/3281411.3281440","relation":{},"subject":[],"published":{"date-parts":[[2018,12,4]]},"assertion":[{"value":"2018-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}