{"id":"https://openalex.org/W3129123642","doi":"https://doi.org/10.1155/2021/8887472","title":"Security Analysis of Out\u2010of\u2010Band Device Pairing Protocols: A Survey","display_name":"Security Analysis of Out\u2010of\u2010Band Device Pairing Protocols: A Survey","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3129123642","doi":"https://doi.org/10.1155/2021/8887472","mag":"3129123642"},"language":"en","primary_location":{"id":"doi:10.1155/2021/8887472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/8887472","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2021/8887472.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/wcmc/2021/8887472.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027402945","display_name":"Sameh Khalfaoui","orcid":"https://orcid.org/0000-0002-9259-7785"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210143116","display_name":"\u00c9lectricit\u00e9 de France (France)","ror":"https://ror.org/03wb8xz10","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210143116"]},{"id":"https://openalex.org/I4210165912","display_name":"Laboratoire Traitement et Communication de l\u2019Information","ror":"https://ror.org/057er4c39","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4210165912"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Sameh Khalfaoui","raw_affiliation_strings":["EDF R&D, France","LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)","CCN - Cybersecurity for Communication and Networking (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 Palaiseau.\r\nDevient C2, Cybers\u00e9curit\u00e9 et Cryptographie en novembre 2021 - France)","ACES - Autonomic and Critical Embedded Systems (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)"],"affiliations":[{"raw_affiliation_string":"EDF R&D, France","institution_ids":["https://openalex.org/I4210143116"]},{"raw_affiliation_string":"LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","institution_ids":["https://openalex.org/I4210165912"]},{"raw_affiliation_string":"INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)","institution_ids":[]},{"raw_affiliation_string":"CCN - Cybersecurity for Communication and Networking (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 Palaiseau.\r\nDevient C2, Cybers\u00e9curit\u00e9 et Cryptographie en novembre 2021 - France)","institution_ids":["https://openalex.org/I12356871"]},{"raw_affiliation_string":"ACES - Autonomic and Critical Embedded Systems (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086321105","display_name":"Jean Leneutre","orcid":"https://orcid.org/0000-0003-4810-0791"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210165912","display_name":"Laboratoire Traitement et Communication de l\u2019Information","ror":"https://ror.org/057er4c39","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4210165912"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean Leneutre","raw_affiliation_strings":["LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)","ACES - Autonomic and Critical Embedded Systems (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)"],"affiliations":[{"raw_affiliation_string":"LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","institution_ids":["https://openalex.org/I4210165912"]},{"raw_affiliation_string":"INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)","institution_ids":[]},{"raw_affiliation_string":"ACES - Autonomic and Critical Embedded Systems (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006688327","display_name":"Arthur Villard","orcid":null},"institutions":[{"id":"https://openalex.org/I4210143116","display_name":"\u00c9lectricit\u00e9 de France (France)","ror":"https://ror.org/03wb8xz10","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210143116"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Arthur Villard","raw_affiliation_strings":["EDF R&D, France","EDF R&D - EDF R&D (France)"],"affiliations":[{"raw_affiliation_string":"EDF R&D, France","institution_ids":["https://openalex.org/I4210143116"]},{"raw_affiliation_string":"EDF R&D - EDF R&D (France)","institution_ids":["https://openalex.org/I4210143116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079250773","display_name":"Jingxuan Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I4210143116","display_name":"\u00c9lectricit\u00e9 de France (France)","ror":"https://ror.org/03wb8xz10","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210143116"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jingxuan Ma","raw_affiliation_strings":["EDF R&D, France","EDF R&D - EDF R&D (France)"],"affiliations":[{"raw_affiliation_string":"EDF R&D, France","institution_ids":["https://openalex.org/I4210143116"]},{"raw_affiliation_string":"EDF R&D - EDF R&D (France)","institution_ids":["https://openalex.org/I4210143116"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080430679","display_name":"Pascal Urien","orcid":"https://orcid.org/0000-0002-7887-6139"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210165912","display_name":"Laboratoire Traitement et Communication de l\u2019Information","ror":"https://ror.org/057er4c39","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4210165912"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pascal Urien","raw_affiliation_strings":["LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","CCN - Cybersecurity for Communication and Networking (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 Palaiseau.\r\nDevient C2, Cybers\u00e9curit\u00e9 et Cryptographie en novembre 2021 - France)","INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)"],"affiliations":[{"raw_affiliation_string":"LTCI, Tlcom Paris, Institut Polytechnique de Paris, France","institution_ids":["https://openalex.org/I4210165912"]},{"raw_affiliation_string":"CCN - Cybersecurity for Communication and Networking (T\u00e9l\u00e9com Paris 19 Place Marguerite Perey 91120 Palaiseau.\r\nDevient C2, Cybers\u00e9curit\u00e9 et Cryptographie en novembre 2021 - France)","institution_ids":["https://openalex.org/I12356871"]},{"raw_affiliation_string":"INFRES - D\u00e9partement Informatique et R\u00e9seaux (46, rue Barrault \r\n75013 Paris - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5027402945"],"corresponding_institution_ids":["https://openalex.org/I12356871","https://openalex.org/I4210143116","https://openalex.org/I4210165912"],"apc_list":{"value":2300,"currency":"USD","value_usd":2300},"apc_paid":{"value":2300,"currency":"USD","value_usd":2300},"fwci":0.9558,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75985215,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"2021","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10986","display_name":"RFID technology advancements","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8862101435661316},{"id":"https://openalex.org/keywords/pairing","display_name":"Pairing","score":0.7303381562232971},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.508354127407074},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4504462778568268},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.43714338541030884},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.33288073539733887},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.19884589314460754},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0732731819152832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8862101435661316},{"id":"https://openalex.org/C14103023","wikidata":"https://www.wikidata.org/wiki/Q11681459","display_name":"Pairing","level":3,"score":0.7303381562232971},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.508354127407074},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4504462778568268},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.43714338541030884},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.33288073539733887},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.19884589314460754},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0732731819152832},{"id":"https://openalex.org/C54101563","wikidata":"https://www.wikidata.org/wiki/Q124131","display_name":"Superconductivity","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1155/2021/8887472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/8887472","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2021/8887472.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04427682v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04427682","pdf_url":null,"source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wireless Communications and Mobile Computing, 2021, 2021, pp.1-30. ⟨10.1155/2021/8887472⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:63fc0af30e164c11a63468d5a8751ab2","is_oa":true,"landing_page_url":"https://doaj.org/article/63fc0af30e164c11a63468d5a8751ab2","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wireless Communications and Mobile Computing, Vol 2021 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2021/8887472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/8887472","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2021/8887472.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1199166244","display_name":null,"funder_award_id":"2018/1810","funder_id":"https://openalex.org/F4320321663","funder_display_name":"Association Nationale de la Recherche et de la Technologie"}],"funders":[{"id":"https://openalex.org/F4320321663","display_name":"Association Nationale de la Recherche et de la Technologie","ror":"https://ror.org/00ht2ab73"},{"id":"https://openalex.org/F4320334537","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3129123642.pdf","grobid_xml":"https://content.openalex.org/works/W3129123642.grobid-xml"},"referenced_works_count":91,"referenced_works":["https://openalex.org/W356286598","https://openalex.org/W1161316405","https://openalex.org/W1502931931","https://openalex.org/W1506867765","https://openalex.org/W1509214789","https://openalex.org/W1526287674","https://openalex.org/W1542059364","https://openalex.org/W1563880518","https://openalex.org/W1569538178","https://openalex.org/W1572503422","https://openalex.org/W1596662236","https://openalex.org/W1608547945","https://openalex.org/W1632109869","https://openalex.org/W1686853624","https://openalex.org/W1877498291","https://openalex.org/W1983742753","https://openalex.org/W1984478483","https://openalex.org/W1986797098","https://openalex.org/W1991422642","https://openalex.org/W1994386233","https://openalex.org/W2001466973","https://openalex.org/W2001619264","https://openalex.org/W2008463373","https://openalex.org/W2019258915","https://openalex.org/W2021935180","https://openalex.org/W2022423863","https://openalex.org/W2023706064","https://openalex.org/W2029693536","https://openalex.org/W2031481606","https://openalex.org/W2047042110","https://openalex.org/W2047241038","https://openalex.org/W2053024467","https://openalex.org/W2068836818","https://openalex.org/W2079090483","https://openalex.org/W2087355434","https://openalex.org/W2102187818","https://openalex.org/W2102217919","https://openalex.org/W2115027138","https://openalex.org/W2121500124","https://openalex.org/W2129084841","https://openalex.org/W2134251664","https://openalex.org/W2138025876","https://openalex.org/W2141136786","https://openalex.org/W2144454907","https://openalex.org/W2145415641","https://openalex.org/W2150426251","https://openalex.org/W2151897550","https://openalex.org/W2156186849","https://openalex.org/W2156490861","https://openalex.org/W2157791064","https://openalex.org/W2165622914","https://openalex.org/W2175661655","https://openalex.org/W2188587999","https://openalex.org/W2309424129","https://openalex.org/W2324304820","https://openalex.org/W2502001573","https://openalex.org/W2510608144","https://openalex.org/W2521663436","https://openalex.org/W2532585811","https://openalex.org/W2559698370","https://openalex.org/W2566093627","https://openalex.org/W2593825757","https://openalex.org/W2620152864","https://openalex.org/W2733765803","https://openalex.org/W2740609710","https://openalex.org/W2751870871","https://openalex.org/W2760047100","https://openalex.org/W2764129961","https://openalex.org/W2766453727","https://openalex.org/W2770727960","https://openalex.org/W2790572611","https://openalex.org/W2794563095","https://openalex.org/W2803881785","https://openalex.org/W2808192222","https://openalex.org/W2904756156","https://openalex.org/W2909779905","https://openalex.org/W2911986889","https://openalex.org/W2952963234","https://openalex.org/W2960944180","https://openalex.org/W2971920366","https://openalex.org/W2980372565","https://openalex.org/W2981394497","https://openalex.org/W3006428750","https://openalex.org/W3100169753","https://openalex.org/W3102401280","https://openalex.org/W3105077040","https://openalex.org/W3121435986","https://openalex.org/W4253159079","https://openalex.org/W6741837949","https://openalex.org/W6748282087","https://openalex.org/W7001942639"],"related_works":["https://openalex.org/W3015473028","https://openalex.org/W2358638783","https://openalex.org/W2252724828","https://openalex.org/W2379701766","https://openalex.org/W164648224","https://openalex.org/W2551197715","https://openalex.org/W1533722674","https://openalex.org/W2766896269","https://openalex.org/W2154157181","https://openalex.org/W2140451704"],"abstract_inverted_index":{"Numerous":[0],"secure":[1,12,139],"device":[2,140],"pairing":[3,129,141,225,272],"(SDP)":[4],"protocols":[5,111],"have":[6,19,89,144],"been":[7,61,90,145],"proposed":[8],"to":[9,25,40,69,126,179,257,266],"establish":[10],"a":[11,64,67,97,118,121,136,152,205,230,233,259,262,277],"communication":[13],"between":[14,109,270],"unidentified":[15],"IoT":[16,36,45],"devices":[17],"that":[18,143,210,217],"no":[20],"preshared":[21],"security":[22,58,83,103,107,123,185,241,264,294],"parameters":[23],"due":[24],"the":[26,31,35,42,47,52,56,72,75,86,94,106,156,159,167,174,181,190,194,199,214,222,252,268,281,285,290,297],"scalability":[27],"requirements":[28],"imposed":[29],"by":[30,63,197,203],"ubiquitous":[32],"nature":[33],"of":[34,66,74,96,100,120,138,155,166,183,208,232,235,280,292],"devices.":[37],"In":[38,131,170],"order":[39,178],"provide":[41],"most":[43],"user\u2010friendly":[44],"services,":[46],"usability":[48],"assessment":[49,95,165,265],"has":[50,60],"become":[51],"main":[53],"requirement.":[54],"Thus,":[55],"complete":[57],"analysis":[59,124],"replaced":[62],"sketch":[65],"proof":[68],"partially":[70],"validate":[71],"robustness":[73],"proposal.":[76],"The":[77],"few":[78],"existing":[79],"formal":[80,260],"or":[81,147,261],"computational":[82,263],"verifications":[84],"on":[85,93,193,213,239,284],"SDP":[87,254],"schemes":[88],"conducted":[91],"based":[92,238],"wide":[98],"variety":[99],"uniquely":[101],"defined":[102],"properties.":[104],"Therefore,":[105],"comparison":[108],"these":[110,128,184,271],"is":[112,117,211,218],"not":[113],"feasible":[114],"and":[115,163,202,243],"there":[116],"lack":[119],"unified":[122],"framework":[125],"assess":[127],"techniques.":[130,273],"this":[132],"paper,":[133],"we":[134,172,188,228],"survey":[135],"selection":[137],"proposals":[142],"formally":[146],"computationally":[148],"verified.":[149],"We":[150],"present":[151],"systematic":[153],"description":[154],"protocol":[157,215,255,298],"assumptions,":[158],"adopted":[160],"verification":[161,168,299],"model,":[162],"an":[164],"results.":[169],"addition,":[171],"normalize":[173],"used":[175],"taxonomy":[176],"in":[177,296],"enhance":[180],"understanding":[182],"validations.":[186],"Furthermore,":[187,274],"refine":[189],"adversary":[191,247,282],"capabilities":[192,283],"out\u2010of\u2010band":[195,236,286],"channel":[196,287],"redefining":[198],"replay":[200],"capability":[201],"introducing":[204],"new":[206],"notion":[207],"delay":[209],"dependent":[212],"structure":[216],"more":[219],"adequate":[220],"for":[221],"ad":[223],"hoc":[224],"context.":[226],"Also,":[227],"propose":[229],"classification":[231],"number":[234],"channels":[237],"their":[240,293],"properties":[242],"under":[244],"our":[245],"refined":[246],"model.":[248],"Our":[249],"work":[250],"motivates":[251],"future":[253],"designer":[256],"conduct":[258],"allow":[267],"comparability":[269],"it":[275],"provides":[276],"realistic":[278],"abstraction":[279],"which":[288],"improves":[289],"modeling":[291],"characteristics":[295],"tools.":[300]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":2}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}