{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:19:52Z","timestamp":1761401992904,"version":"3.37.3"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["1564105"],"award-info":[{"award-number":["1564105"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006754","name":"Army Research Laboratory","doi-asserted-by":"publisher","award":["Cooperative Agreement Number W911NF-13-2-0045"],"award-info":[{"award-number":["Cooperative Agreement Number W911NF-13-2-0045"]}],"id":[{"id":"10.13039\/100006754","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Secur. Privacy"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/msec.2019.2911511","type":"journal-article","created":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T19:34:51Z","timestamp":1560195291000},"page":"30-37","source":"Crossref","is-referenced-by-count":21,"title":["Verifying Internet of Things Safety and Security in Physical Spaces"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7362-8905","authenticated-orcid":false,"given":"Z. Berkay","family":"Celik","sequence":"first","affiliation":[{"name":"Computer Science, Purdue University, West Lafayette, Indiana United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2091-7484","authenticated-orcid":false,"given":"Patrick","family":"McDaniel","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Pennsylvania State University, State College, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6109-6091","authenticated-orcid":false,"given":"Gang","family":"Tan","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Pennsylvania State University, State College, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7082-8423","authenticated-orcid":false,"given":"Leonardo","family":"Babun","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, Florida International University, Miami, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9823-3464","authenticated-orcid":false,"given":"A. Selcuk","family":"Uluagac","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, Florida International University, Miami, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2018","author":"clarke","journal-title":"Model checking","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/2.223539"},{"key":"ref15","first-page":"1687","article-title":"Sensitive information tracking in commodity IoT","author":"celik","year":"0","journal-title":"Proc 27th USENIX Security Symp"},{"key":"ref14","first-page":"359","article-title":"NuSMV 2: An open source tool for symbolic model checking,” in","author":"cimatti","year":"0","journal-title":"Proc Int Conf Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/3038912.3052709"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/3333501"},{"year":"2016","author":"veerendra","journal-title":"Hacking Internet of Things (IoT) A case study on DTH vulnerabilities","key":"ref2"},{"key":"ref1","article-title":"Stranger hacks into baby monitor and screams at child","author":"waxman","year":"0","journal-title":"Time"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3281411.3281440"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/3243734.3243865"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.14722\/ndss.2019.23326"},{"year":"0","author":"jablokow","journal-title":"How the IoT helps keep oil and gas pipelines safe","key":"ref4"},{"year":"0","author":"taylor","journal-title":"How the Internet of Things could be fatal","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/SP.2016.44"},{"key":"ref5","first-page":"147","article-title":"Soteria: Automated IoT safety and security analysis","author":"berkay celik","year":"0","journal-title":"Proc USENIX Annu Technical Conf (USENIX ATC)"}],"container-title":["IEEE Security & Privacy"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8013\/8821441\/08733994.pdf?arnumber=8733994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T21:00:09Z","timestamp":1682629209000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8733994\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":15,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/msec.2019.2911511","relation":{},"ISSN":["1540-7993","1558-4046"],"issn-type":[{"type":"print","value":"1540-7993"},{"type":"electronic","value":"1558-4046"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}