{"id":"https://openalex.org/W4285163447","doi":"https://doi.org/10.1109/tse.2022.3179294","title":"IoTCom: Dissecting Interaction Threats in IoT Systems","display_name":"IoTCom: Dissecting Interaction Threats in IoT Systems","publication_year":2022,"publication_date":"2022-05-31","ids":{"openalex":"https://openalex.org/W4285163447","doi":"https://doi.org/10.1109/tse.2022.3179294"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2022.3179294","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3179294","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016425560","display_name":"Mohannad Alhanahnah","orcid":"https://orcid.org/0000-0001-7108-3809"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohannad Alhanahnah","raw_affiliation_strings":["Department of Computer Science, University of Wisconsin-Madison, Madison, WI, USA"],"raw_orcid":"https://orcid.org/0000-0001-7108-3809","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025973455","display_name":"Clay Stevens","orcid":"https://orcid.org/0000-0001-5399-9661"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Clay Stevens","raw_affiliation_strings":["School of Computing, University of Nebraska-Lincoln, Lincoln, NE, USA"],"raw_orcid":"https://orcid.org/0000-0001-5399-9661","affiliations":[{"raw_affiliation_string":"School of Computing, University of Nebraska-Lincoln, Lincoln, NE, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076545839","display_name":"Bocheng Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bocheng Chen","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084076598","display_name":"Qiben Yan","orcid":"https://orcid.org/0000-0003-0551-2163"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiben Yan","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA"],"raw_orcid":"https://orcid.org/0000-0003-0551-2163","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030064922","display_name":"Hamid Bagheri","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Bagheri","raw_affiliation_strings":["School of Computing, University of Nebraska-Lincoln, Lincoln, NE, USA"],"raw_orcid":"https://orcid.org/0000-0001-6686-466X","affiliations":[{"raw_affiliation_string":"School of Computing, University of Nebraska-Lincoln, Lincoln, NE, USA","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016425560"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":2.5295,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.89618079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"49","issue":"4","first_page":"1523","last_page":"1539"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8030081987380981},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.6890921592712402},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.683669924736023},{"id":"https://openalex.org/keywords/raspberry-pi","display_name":"Raspberry pi","score":0.5988930463790894},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.4617261290550232},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43727853894233704},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1529645025730133}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8030081987380981},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.6890921592712402},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.683669924736023},{"id":"https://openalex.org/C2985745059","wikidata":"https://www.wikidata.org/wiki/Q245","display_name":"Raspberry pi","level":3,"score":0.5988930463790894},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.4617261290550232},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43727853894233704},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1529645025730133}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2022.3179294","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3179294","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6399999856948853}],"awards":[{"id":"https://openalex.org/G4178658107","display_name":null,"funder_award_id":"CNS-1950171","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G570789046","display_name":null,"funder_award_id":"CCF-1618132","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G6558295354","display_name":null,"funder_award_id":"CCF-2139845","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G6743814786","display_name":null,"funder_award_id":"CCF-1755890","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1971373119","https://openalex.org/W2060440626","https://openalex.org/W2083755826","https://openalex.org/W2227487674","https://openalex.org/W2293605433","https://openalex.org/W2343825734","https://openalex.org/W2356780433","https://openalex.org/W2399248522","https://openalex.org/W2474759362","https://openalex.org/W2519460064","https://openalex.org/W2529069893","https://openalex.org/W2559096601","https://openalex.org/W2576128456","https://openalex.org/W2605367183","https://openalex.org/W2613352518","https://openalex.org/W2625251379","https://openalex.org/W2756579916","https://openalex.org/W2761713364","https://openalex.org/W2765299524","https://openalex.org/W2767371019","https://openalex.org/W2790360011","https://openalex.org/W2791018263","https://openalex.org/W2791710451","https://openalex.org/W2792078641","https://openalex.org/W2803355841","https://openalex.org/W2886320151","https://openalex.org/W2889851986","https://openalex.org/W2890188242","https://openalex.org/W2890559797","https://openalex.org/W2891841173","https://openalex.org/W2895798825","https://openalex.org/W2896143299","https://openalex.org/W2898878396","https://openalex.org/W2901407949","https://openalex.org/W2901665206","https://openalex.org/W2907018623","https://openalex.org/W2911962130","https://openalex.org/W2946793148","https://openalex.org/W2947175569","https://openalex.org/W2972103753","https://openalex.org/W2983277367","https://openalex.org/W2989824687","https://openalex.org/W3012902833","https://openalex.org/W3042771014","https://openalex.org/W3046246673","https://openalex.org/W3097816029","https://openalex.org/W3107210824","https://openalex.org/W3153176799","https://openalex.org/W3162190912","https://openalex.org/W3182238712","https://openalex.org/W4249095665","https://openalex.org/W4298441869","https://openalex.org/W6738525383","https://openalex.org/W6744196339","https://openalex.org/W6748246993","https://openalex.org/W6751184934","https://openalex.org/W6783408134","https://openalex.org/W6894154181"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4313320040","https://openalex.org/W2753725918","https://openalex.org/W4237332714","https://openalex.org/W4312617849","https://openalex.org/W2342522844","https://openalex.org/W3162326730","https://openalex.org/W2468937906","https://openalex.org/W3019147085","https://openalex.org/W2761672683"],"abstract_inverted_index":{"Due":[0],"to":[1,42,45,77,90,157,168,175,206,235,263],"the":[2,39,46,53,60,72,79,92,95,170,183,237,250,256,261],"growing":[3],"presence":[4],"of":[5,7,63,94,107,117,139,195,212,222,255],"Internet":[6],"Things":[8],"(IoT)":[9],"apps":[10,32,148,198],"and":[11,16,22,28,38,55,84,87,142,149,163,218,259],"devices":[12],"in":[13,70,253],"smart":[14,17],"homes":[15],"cities,":[18],"there":[19],"are":[20],"more":[21,23],"concerns":[24],"about":[25],"their":[26,123],"security":[27,56],"privacy":[29],"risks.":[30],"IoT":[31,64,111,147,197,269],"normally":[33],"interact":[34],"with":[35,187,192],"each":[36],"other":[37],"physical":[40,85,219],"world":[41],"offer":[43],"utility":[44],"users.":[47],"In":[48],"this":[49],"paper,":[50],"we":[51,102,127],"investigate":[52],"safety":[54],"risks":[57],"brought":[58],"by":[59],"interactive":[61],"behaviors":[62,173],"apps.":[65],"Two":[66],"major":[67],"challenges":[68],"ensue":[69],"identifying":[71],"interaction":[73,108,124,213],"threats:":[74],"i)":[75],"how":[76,89],"discover":[78],"threats":[80,109,119,214],"across":[81,267],"both":[82],"cyber":[83,217],"channels;":[86],"ii)":[88],"ensure":[91],"scalability":[93],"detection":[96,136],"approach.":[97],"To":[98],"address":[99],"these":[100],"challenges,":[101],"first":[103],"provide":[104],"a":[105,133,165,209],"taxonomy":[106],"between":[110,146],"apps,":[112],"which":[113,223],"contains":[114],"seven":[115],"classes":[116],"coordination":[118],"categorized":[120],"based":[121],"on":[122],"behaviors.":[125],"Then,":[126],"present":[128],"<sc":[129,151,201,228,245],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[130,152,202,229,246],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">IoTCom</small>":[131,153,203,230,247],",":[132],"compositional":[134],"threat":[135],"system":[137],"capable":[138],"automatically":[140,158],"detecting":[141],"verifying":[143],"unsafe":[144],"interactions":[145],"devices.":[150],"applies":[154],"static":[155],"analysis":[156,266],"infer":[159],"relevant":[160],"apps\u2019":[161],"behaviors,":[162],"uses":[164,231],"novel":[166],"strategy":[167],"trim":[169],"extracted":[171],"app's":[172],"prior":[174],"translating":[176],"them":[177],"into":[178],"analyzable":[179],"formal":[180,188],"specifications,":[181],"mitigating":[182],"state":[184],"explosion":[185],"associated":[186],"analysis.":[189],"Our":[190,240],"experiments":[191],"numerous":[193],"bundles":[194],"real-world":[196],"have":[199],"corroborated":[200],"'s":[204],"ability":[205],"effectively":[207],"identify":[208],"broad":[210],"spectrum":[211],"triggered":[215],"through":[216],"channels,":[220],"many":[221],"were":[224],"previously":[225],"unknown.":[226],"Finally,":[227],"an":[232],"automatic":[233],"verifier":[234],"validate":[236],"discovered":[238],"threats.":[239],"experimental":[241],"results":[242],"show":[243],"that":[244],"significantly":[248],"outperforms":[249],"existing":[251],"techniques":[252],"terms":[254],"computational":[257],"time,":[258],"maintains":[260],"capability":[262],"perform":[264],"its":[265],"different":[268],"platforms.":[270]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}