{"id":"https://openalex.org/W2896143299","doi":"https://doi.org/10.1145/3281411.3281440","title":"IotSan","display_name":"IotSan","publication_year":2018,"publication_date":"2018-11-28","ids":{"openalex":"https://openalex.org/W2896143299","doi":"https://doi.org/10.1145/3281411.3281440","mag":"2896143299"},"language":"en","primary_location":{"id":"doi:10.1145/3281411.3281440","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3281411.3281440","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1810.09551","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dang Tu Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dang Tu Nguyen","raw_affiliation_strings":["UC Riverside"],"affiliations":[{"raw_affiliation_string":"UC Riverside","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chengyu Song","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengyu Song","raw_affiliation_strings":["UC Riverside"],"affiliations":[{"raw_affiliation_string":"UC Riverside","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhiyun Qian","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiyun Qian","raw_affiliation_strings":["UC Riverside"],"affiliations":[{"raw_affiliation_string":"UC Riverside","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Srikanth V. Krishnamurthy","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srikanth V. Krishnamurthy","raw_affiliation_strings":["UC Riverside"],"affiliations":[{"raw_affiliation_string":"UC Riverside","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Edward J. M. Colbert","orcid":null},"institutions":[{"id":"https://openalex.org/I166416128","display_name":"DEVCOM Army Research Laboratory","ror":"https://ror.org/011hc8f90","country_code":"US","type":"government","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I166416128","https://openalex.org/I2802705668","https://openalex.org/I4210154437"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward J. M. Colbert","raw_affiliation_strings":["U.S. Army Research Laboratory"],"affiliations":[{"raw_affiliation_string":"U.S. Army Research Laboratory","institution_ids":["https://openalex.org/I166416128"]}]},{"author_position":"last","author":{"id":null,"display_name":"Patrick McDaniel","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick McDaniel","raw_affiliation_strings":["The Pennsylvania State University"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I103635307"],"apc_list":null,"apc_paid":null,"fwci":10.259,"has_fulltext":false,"cited_by_count":114,"citation_normalized_percentile":{"value":0.98615269,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"191","last_page":"203"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6047999858856201},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.580299973487854},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.5157999992370605},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4745999872684479},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.40880000591278076},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3684000074863434}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6047999858856201},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5914999842643738},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.580299973487854},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.5157999992370605},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4876999855041504},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4745999872684479},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3684000074863434},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.3255000114440918},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2937000095844269},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C2778717966","wikidata":"https://www.wikidata.org/wiki/Q4189076","display_name":"Protection mechanism","level":3,"score":0.26660001277923584},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2612999975681305}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3281411.3281440","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3281411.3281440","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1810.09551","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.09551","pdf_url":"https://arxiv.org/pdf/1810.09551","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1810.09551","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.09551","pdf_url":"https://arxiv.org/pdf/1810.09551","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W1465777884","https://openalex.org/W1517351977","https://openalex.org/W1583487553","https://openalex.org/W1786127122","https://openalex.org/W1787074469","https://openalex.org/W1919563168","https://openalex.org/W1968693268","https://openalex.org/W1973954352","https://openalex.org/W1999246443","https://openalex.org/W2000117665","https://openalex.org/W2043475427","https://openalex.org/W2081840025","https://openalex.org/W2095473904","https://openalex.org/W2097025901","https://openalex.org/W2102189178","https://openalex.org/W2115309705","https://openalex.org/W2128111779","https://openalex.org/W2140864284","https://openalex.org/W2161246680","https://openalex.org/W2338596612","https://openalex.org/W2399248522","https://openalex.org/W2408302068","https://openalex.org/W2413599931","https://openalex.org/W2472899067","https://openalex.org/W2528851540","https://openalex.org/W2560411358","https://openalex.org/W2576128456","https://openalex.org/W2591273803","https://openalex.org/W2606826528","https://openalex.org/W2607806769","https://openalex.org/W2620864315","https://openalex.org/W2625251379","https://openalex.org/W2686848947","https://openalex.org/W2756579916","https://openalex.org/W2761713364","https://openalex.org/W2770057444","https://openalex.org/W2801278832","https://openalex.org/W2804061523"],"related_works":[],"abstract_inverted_index":{"Today's":[0],"IoT":[1,18,104,119],"systems":[2,19],"include":[3],"event-driven":[4],"smart":[5],"applications":[6],"(apps)":[7],"that":[8,21,40,72,87],"interact":[9],"with":[10,112,171],"sensors":[11],"and":[12,34,56,146,185],"actuators.":[13],"A":[14],"problem":[15],"specific":[16],"to":[17,42,80,92,103,106,125,129,143],"is":[20],"buggy":[22],"apps,":[23,51],"unforeseen":[24],"bad":[25],"app":[26],"interactions,":[27],"or":[28],"device/communication":[29],"failures,":[30],"can":[31,88],"cause":[32,133],"unsafe":[33,93],"dangerous":[35],"physical":[36],"states.":[37,94],"Detecting":[38],"flaws":[39,83],"lead":[41,89],"such":[43],"states,":[44],"requires":[45],"a":[46,68,77,122,135,176],"holistic":[47],"view":[48],"of":[49,134],"installed":[50],"component":[52],"devices,":[53],"their":[54],"configurations,":[55],"more":[57],"importantly,":[58],"how":[59],"they":[60],"interact.":[61],"In":[62,95],"this":[63],"paper,":[64],"we":[65,98,138],"design":[66,99,139],"IotSan,":[67,97],"novel":[69,100],"practical":[70],"system":[71,91],"uses":[73],"model":[74,113,126],"checking":[75],"as":[76,191],"building":[78,96],"block":[79],"reveal":[81],"\"interaction-level\"":[82],"by":[84],"identifying":[85],"events":[86],"the":[90,108,131,154,181],"techniques":[101],"tailored":[102],"systems,":[105,162],"alleviate":[107],"state":[109],"explosion":[110],"associated":[111],"checking.":[114,127],"IotSan":[115,152,163,170,179],"also":[116,168,186],"automatically":[117],"translates":[118],"apps":[120,174,190],"into":[121],"format":[123],"amenable":[124],"Finally,":[128],"understand":[130],"root":[132],"detected":[136],"vulnerability,":[137],"an":[140],"attribution":[141],"mechanism":[142],"identify":[144],"problematic":[145],"potentially":[147],"malicious":[148,172],"apps.":[149],"We":[150,167],"evaluate":[151,169],"on":[153],"Samsung":[155],"SmartThings":[156,173],"platform.":[157],"From":[158],"76":[159],"manually":[160],"configured":[161],"detects":[164,180],"147":[165],"vulnerabilities.":[166],"from":[175],"previous":[177],"effort.":[178],"potential":[182],"safety":[183],"violations":[184],"effectively":[187],"attributes":[188],"these":[189],"malicious.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":14},{"year":2022,"cited_by_count":30},{"year":2021,"cited_by_count":17},{"year":2020,"cited_by_count":20},{"year":2019,"cited_by_count":11}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2018-10-26T00:00:00"}