{"id":"https://openalex.org/W2790835090","doi":"https://doi.org/10.1145/3176258.3176334","title":"IoTVerif","display_name":"IoTVerif","publication_year":2018,"publication_date":"2018-03-13","ids":{"openalex":"https://openalex.org/W2790835090","doi":"https://doi.org/10.1145/3176258.3176334","mag":"2790835090"},"language":"en","primary_location":{"id":"doi:10.1145/3176258.3176334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3176258.3176334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy","raw_type":"proceedings-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/A5044678470","display_name":"Khalid Alghamdi","orcid":null},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Khalid Alghamdi","raw_affiliation_strings":["Oakland University, Rochester, MI, USA"],"affiliations":[{"raw_affiliation_string":"Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059949408","display_name":"Ali Alqazzaz","orcid":"https://orcid.org/0000-0001-7721-0450"},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Alqazzaz","raw_affiliation_strings":["Oakland University, Rochester, MI, USA"],"affiliations":[{"raw_affiliation_string":"Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102983664","display_name":"Anyi Liu","orcid":"https://orcid.org/0000-0002-6011-1998"},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anyi Liu","raw_affiliation_strings":["Oakland University, Rochester, MI, USA"],"affiliations":[{"raw_affiliation_string":"Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102765393","display_name":"Hua Ming","orcid":"https://orcid.org/0000-0001-5379-6311"},"institutions":[{"id":"https://openalex.org/I177721651","display_name":"Oakland University","ror":"https://ror.org/01ythxj32","country_code":"US","type":"education","lineage":["https://openalex.org/I177721651"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hua Ming","raw_affiliation_strings":["Oakland University, Rochester, MI, USA"],"affiliations":[{"raw_affiliation_string":"Oakland University, Rochester, MI, USA","institution_ids":["https://openalex.org/I177721651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044678470"],"corresponding_institution_ids":["https://openalex.org/I177721651"],"apc_list":null,"apc_paid":null,"fwci":1.6514,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.84499105,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"95","last_page":"102"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"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":1.0,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9988999962806702,"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/computer-science","display_name":"Computer science","score":0.830224871635437},{"id":"https://openalex.org/keywords/transport-layer-security","display_name":"Transport Layer Security","score":0.7458131909370422},{"id":"https://openalex.org/keywords/mqtt","display_name":"MQTT","score":0.6269853115081787},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6200120449066162},{"id":"https://openalex.org/keywords/application-layer","display_name":"Application layer","score":0.5091063380241394},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4865535795688629},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.46896424889564514},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4652572274208069},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.44587117433547974},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.43494781851768494},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4179139733314514},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.38444533944129944},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.35193032026290894},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.25604063272476196},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19558930397033691}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830224871635437},{"id":"https://openalex.org/C148176105","wikidata":"https://www.wikidata.org/wiki/Q206494","display_name":"Transport Layer Security","level":3,"score":0.7458131909370422},{"id":"https://openalex.org/C132868160","wikidata":"https://www.wikidata.org/wiki/Q10322548","display_name":"MQTT","level":3,"score":0.6269853115081787},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6200120449066162},{"id":"https://openalex.org/C190793597","wikidata":"https://www.wikidata.org/wiki/Q189768","display_name":"Application layer","level":3,"score":0.5091063380241394},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4865535795688629},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.46896424889564514},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4652572274208069},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.44587117433547974},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.43494781851768494},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4179139733314514},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.38444533944129944},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35193032026290894},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.25604063272476196},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19558930397033691},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3176258.3176334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3176258.3176334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7339385738","display_name":null,"funder_award_id":"DGE-1723707, DGE-1623713","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W38765094","https://openalex.org/W1489391022","https://openalex.org/W1769343819","https://openalex.org/W1998284497","https://openalex.org/W2025786423","https://openalex.org/W2081620804","https://openalex.org/W2103370348","https://openalex.org/W2134295053","https://openalex.org/W2164253698","https://openalex.org/W2166743230","https://openalex.org/W2297172173","https://openalex.org/W2396555304","https://openalex.org/W2596670413","https://openalex.org/W2737726911"],"related_works":["https://openalex.org/W2769489861","https://openalex.org/W2802923594","https://openalex.org/W3172228157","https://openalex.org/W4384911781","https://openalex.org/W2786858043","https://openalex.org/W2974197507","https://openalex.org/W3195514317","https://openalex.org/W4390097507","https://openalex.org/W2735966499","https://openalex.org/W4387163684"],"abstract_inverted_index":{"Developing":[0],"secure":[1],"Internet":[2],"of":[3,10,44,72],"Things":[4],"(IoT)":[5],"applications":[6],"that":[7,32,100],"are":[8],"free":[9],"vulnerabilities":[11,88],"and":[12,21],"resilient":[13],"against":[14],"exploit":[15],"is":[16],"desirable":[17],"for":[18],"software":[19],"developers":[20,84],"testers.":[22],"In":[23],"this":[24],"paper,":[25],"we":[26],"present":[27],"IoTVerif,":[28],"an":[29,73],"automated":[30],"tool":[31],"can":[33],"verify":[34],"SSL/TLS":[35,87],"(Secure":[36],"Socket":[37],"Layer/Transport":[38],"Layer":[39],"Security)":[40],"X.509":[41],"certificate":[42,91],"validation":[43],"IoT":[45,51,81,107],"messaging":[46,63],"protocols":[47],"utilized":[48],"by":[49],"real-world":[50],"client":[52,82],"applications.":[53],"IoTVerif":[54,79],"does":[55],"not":[56],"require":[57],"any":[58],"prior":[59],"knowledge":[60],"about":[61],"the":[62,68,86,106],"protocol,":[64],"but":[65],"simply":[66],"correlates":[67],"observed":[69],"network":[70],"trace":[71],"application":[74,83,108],"with":[75],"its":[76],"execution":[77],"context.":[78],"helps":[80],"identify":[85],"based":[89],"on":[90],"validation.":[92],"We":[93],"specifically":[94],"target":[95],"MQTT,":[96],"a":[97],"broker-based":[98],"protocol":[99],"has":[101],"attracted":[102],"increasing":[103],"popularity":[104],"in":[105],"market.":[109]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2018-03-29T00:00:00"}