{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T15:49:52Z","timestamp":1781365792888,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T00:00:00Z","timestamp":1428883200000},"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":[[2015,4,13]]},"DOI":"10.1145\/2737095.2737115","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"298-309","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["SIFT"],"prefix":"10.1145","author":[{"given":"Chieh-Jan Mike","family":"Liang","sequence":"first","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B\u00f6rje F.","family":"Karlsson","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicholas D.","family":"Lane","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feng","family":"Zhao","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junbei","family":"Zhang","sequence":"additional","affiliation":[{"name":"USTC China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zheyi","family":"Pan","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhao","family":"Li","sequence":"additional","affiliation":[{"name":"USTC China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong","family":"Yu","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AllJoyn. https:\/\/www.alljoyn.org\/.  AllJoyn. https:\/\/www.alljoyn.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"ConcepNet 5. http:\/\/conceptnet5.media.mit.edu\/.  ConcepNet 5. http:\/\/conceptnet5.media.mit.edu\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Home Automation Systems. HomeSeer. http:\/\/www.homeseer.com\/.  Home Automation Systems. HomeSeer. http:\/\/www.homeseer.com\/."},{"key":"e_1_3_2_1_4_1","unstructured":"IFTTT - Put the Internet to Work for You. http:\/\/ifttt.com.  IFTTT - Put the Internet to Work for You. http:\/\/ifttt.com."},{"key":"e_1_3_2_1_5_1","unstructured":"SmartThings. http:\/\/www.smartthings.com\/.  SmartThings. http:\/\/www.smartthings.com\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Thread. http:\/\/threadgroup.org\/.  Thread. http:\/\/threadgroup.org\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Wemo. http:\/\/www.belkin.com\/us\/Products\/home-automation\/c\/wemo-home-automation\/.  Wemo. http:\/\/www.belkin.com\/us\/Products\/home-automation\/c\/wemo-home-automation\/."},{"key":"e_1_3_2_1_8_1","volume-title":"Department of Computer Science","author":"Barrett C.","year":"2010","unstructured":"C. Barrett , A. Stump , and C. Tinelli . The SMT-LIB Standard: Version 2.0. Technical report , Department of Computer Science , The University of Iowa , 2010 . http:\/\/www.SMT-LIB.org. C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard: Version 2.0. Technical report, Department of Computer Science, The University of Iowa, 2010. http:\/\/www.SMT-LIB.org."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999437"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000368"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1162264"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1066121"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979249"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2639108.2639131"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322281"},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/www.cnet.com\/news\/car-hacking-code-released-at-defcon\/","author":"Defcon CNET.","year":"2013","unstructured":"CNET. Car hacking code released at Defcon . http:\/\/www.cnet.com\/news\/car-hacking-code-released-at-defcon\/ , 2013 . CNET. Car hacking code released at Defcon. http:\/\/www.cnet.com\/news\/car-hacking-code-released-at-defcon\/, 2013."},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/www.cnn.com\/2013\/08\/14\/opinion\/schneier-hacking-baby-monitor\/","author":"CNN.","year":"2013","unstructured":"CNN. Why it's so easy to hack your home. http:\/\/www.cnn.com\/2013\/08\/14\/opinion\/schneier-hacking-baby-monitor\/ , 2013 . CNN. Why it's so easy to hack your home. http:\/\/www.cnn.com\/2013\/08\/14\/opinion\/schneier-hacking-baby-monitor\/, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11748625_16"},{"key":"e_1_3_2_1_21_1","first-page":"337","volume-title":"NSDI","author":"Dixon C.","year":"2012","unstructured":"C. Dixon , R. Mahajan , S. Agarwal , A. B. Brush , B. Lee , S. Saroiu , and P. Bahl . An operating system for the home . In NSDI , pp 337 -- 352 , 2012 . C. Dixon, R. Mahajan, S. Agarwal, A. B. Brush, B. Lee, S. Saroiu, and P. Bahl. An operating system for the home. In NSDI, pp 337--352, 2012."},{"key":"e_1_3_2_1_22_1","volume-title":"Internet of Things Installed Base Will Grow to 26 Billion Units By","year":"2020","unstructured":"Gartner. Internet of Things Installed Base Will Grow to 26 Billion Units By 2020 . http:\/\/www.gartner.com\/newsroom\/id\/2636073. Gartner. Internet of Things Installed Base Will Grow to 26 Billion Units By 2020. http:\/\/www.gartner.com\/newsroom\/id\/2636073."},{"key":"e_1_3_2_1_23_1","volume-title":"State of the Union","author":"Things Security HP.","year":"2014","unstructured":"HP. Internet of Things Security : State of the Union , 2014 . http:\/\/www.hp.com\/go\/fortifyresearch\/iot. HP. Internet of Things Security: State of the Union, 2014. http:\/\/www.hp.com\/go\/fortifyresearch\/iot."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061322"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-05-3_8"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/EWSN.2005.1462020"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1674-7_38"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843717"},{"key":"e_1_3_2_1_29_1","first-page":"267","volume-title":"OSDI","author":"Musuvathi M.","year":"2008","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and reproducing heisenbugs in concurrent programs . In OSDI , pp 267 -- 280 , Berkeley, CA, USA , 2008 . USENIX Association. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, pp 267--280, Berkeley, CA, USA, 2008. USENIX Association."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79576-6_13"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0410"},{"key":"e_1_3_2_1_32_1","volume-title":"Technical report","author":"Prolog Stus","year":"2014","unstructured":"SICStus. SIC Stus Prolog . Technical report , 2014 . https:\/\/sicstus.sics.se\/. SICStus. SICStus Prolog. Technical report, 2014. https:\/\/sicstus.sics.se\/."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of Tests and Proofs (TAP'08)","author":"Tillmann N.","year":"2008","unstructured":"N. Tillmann and J. de Halleux . Pex - White Box Test Generation for .NET. In Proceedings of Tests and Proofs (TAP'08) . Springer Verlag , 2008 . N. Tillmann and J. de Halleux. Pex - White Box Test Generation for .NET. In Proceedings of Tests and Proofs (TAP'08). Springer Verlag, 2008."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.17"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.18"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11669463_4"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182822"},{"key":"e_1_3_2_1_39_1","unstructured":"ISO. ISO 26262 -- Road vehicles - Functional safety. http:\/\/www.iso.org\/iso\/home\/store\/catalogue_tc\/catalogue_detail.htm?csnumber=68383 2011.  ISO. ISO 26262 -- Road vehicles - Functional safety. http:\/\/www.iso.org\/iso\/home\/store\/catalogue_tc\/catalogue_detail.htm?csnumber=68383 2011."}],"event":{"name":"IPSN '15: The 14th International Conference on Information Processing in Sensor Networks","location":"Seattle Washington","acronym":"IPSN '15","sponsor":["IEEE-SPS Signal Processing Society","IEEE","IEEE-CSS Control Systems Society","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS IRTS IEEE CS Internet, Real Time Systems"]},"container-title":["Proceedings of the 14th International Conference on Information Processing in Sensor Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737095.2737115","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737095.2737115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:10Z","timestamp":1750225690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737095.2737115"}},"subtitle":["building an internet of safe things"],"short-title":[],"issued":{"date-parts":[[2015,4,13]]},"references-count":39,"alternative-id":["10.1145\/2737095.2737115","10.1145\/2737095"],"URL":"https:\/\/doi.org\/10.1145\/2737095.2737115","relation":{},"subject":[],"published":{"date-parts":[[2015,4,13]]},"assertion":[{"value":"2015-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}