{"id":"https://openalex.org/W4412446016","doi":"https://doi.org/10.1109/noms57970.2025.11073644","title":"PathSafe: Secure Path Verification in Software-Defined Networks","display_name":"PathSafe: Secure Path Verification in Software-Defined Networks","publication_year":2025,"publication_date":"2025-05-12","ids":{"openalex":"https://openalex.org/W4412446016","doi":"https://doi.org/10.1109/noms57970.2025.11073644"},"language":"en","primary_location":{"id":"doi:10.1109/noms57970.2025.11073644","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms57970.2025.11073644","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2025-2025 IEEE Network Operations and Management Symposium","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/A5033977160","display_name":"Doriana Monaco","orcid":"https://orcid.org/0009-0002-7908-5184"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Doriana Monaco","raw_affiliation_strings":["DAUIN,Politecnico di Torino,Italy"],"affiliations":[{"raw_affiliation_string":"DAUIN,Politecnico di Torino,Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118808130","display_name":"Nikola Antonijevi\u0107","orcid":"https://orcid.org/0009-0008-1568-4560"},"institutions":[{"id":"https://openalex.org/I4210115377","display_name":"VIB-KU Leuven Center for Microbiology","ror":"https://ror.org/02bpp8r91","country_code":"BE","type":"facility","lineage":["https://openalex.org/I2802017950","https://openalex.org/I4210115377","https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Nikola Antonijevi\u0107","raw_affiliation_strings":["COSIC, KU,Leuven,Belgium"],"affiliations":[{"raw_affiliation_string":"COSIC, KU,Leuven,Belgium","institution_ids":["https://openalex.org/I4210115377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056637221","display_name":"Sayon Duttagupta","orcid":"https://orcid.org/0000-0002-3495-4641"},"institutions":[{"id":"https://openalex.org/I4210115377","display_name":"VIB-KU Leuven Center for Microbiology","ror":"https://ror.org/02bpp8r91","country_code":"BE","type":"facility","lineage":["https://openalex.org/I2802017950","https://openalex.org/I4210115377","https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Sayon Duttagupta","raw_affiliation_strings":["COSIC, KU,Leuven,Belgium"],"affiliations":[{"raw_affiliation_string":"COSIC, KU,Leuven,Belgium","institution_ids":["https://openalex.org/I4210115377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009111901","display_name":"Dave Singel\u00e9e","orcid":"https://orcid.org/0000-0001-9084-698X"},"institutions":[{"id":"https://openalex.org/I4210115377","display_name":"VIB-KU Leuven Center for Microbiology","ror":"https://ror.org/02bpp8r91","country_code":"BE","type":"facility","lineage":["https://openalex.org/I2802017950","https://openalex.org/I4210115377","https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Dave Singel\u00e9e","raw_affiliation_strings":["COSIC, KU,Leuven,Belgium"],"affiliations":[{"raw_affiliation_string":"COSIC, KU,Leuven,Belgium","institution_ids":["https://openalex.org/I4210115377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011246061","display_name":"Alessio Sacco","orcid":"https://orcid.org/0000-0003-2835-5455"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessio Sacco","raw_affiliation_strings":["DAUIN,Politecnico di Torino,Italy"],"affiliations":[{"raw_affiliation_string":"DAUIN,Politecnico di Torino,Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056871782","display_name":"Eduard Marin","orcid":"https://orcid.org/0000-0002-5002-0187"},"institutions":[{"id":"https://openalex.org/I4210134591","display_name":"Telefonica Research and Development","ror":"https://ror.org/03qgzzb04","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210097190","https://openalex.org/I4210134591"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eduard Marin","raw_affiliation_strings":["Telefónica Research,Spain"],"affiliations":[{"raw_affiliation_string":"Telefónica Research,Spain","institution_ids":["https://openalex.org/I4210134591"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039506639","display_name":"Bart Preneel","orcid":"https://orcid.org/0000-0003-2005-9651"},"institutions":[{"id":"https://openalex.org/I4210115377","display_name":"VIB-KU Leuven Center for Microbiology","ror":"https://ror.org/02bpp8r91","country_code":"BE","type":"facility","lineage":["https://openalex.org/I2802017950","https://openalex.org/I4210115377","https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Preneel","raw_affiliation_strings":["COSIC, KU,Leuven,Belgium"],"affiliations":[{"raw_affiliation_string":"COSIC, KU,Leuven,Belgium","institution_ids":["https://openalex.org/I4210115377"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5033977160"],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22819461,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"01","last_page":"09"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9980000257492065,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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.785226583480835},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5498776435852051},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46336954832077026},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4331277906894684},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.32064032554626465},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2809537947177887},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.20924049615859985},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1616595983505249}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.785226583480835},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5498776435852051},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46336954832077026},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4331277906894684},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.32064032554626465},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2809537947177887},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.20924049615859985},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1616595983505249}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/noms57970.2025.11073644","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms57970.2025.11073644","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2025-2025 IEEE Network Operations and Management Symposium","raw_type":"proceedings-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/770877","is_oa":false,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/770877","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"IEEE Network Operations and Management Symposium, Honolulu, HI, USA, 12-16 May 2025","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1496476314","https://openalex.org/W1558403803","https://openalex.org/W1695929281","https://openalex.org/W1984451560","https://openalex.org/W1994926493","https://openalex.org/W2040340473","https://openalex.org/W2084915558","https://openalex.org/W2111281854","https://openalex.org/W2146191242","https://openalex.org/W2147118406","https://openalex.org/W2245908696","https://openalex.org/W2492661528","https://openalex.org/W2495947746","https://openalex.org/W2614589546","https://openalex.org/W2753412869","https://openalex.org/W2761270199","https://openalex.org/W2804817434","https://openalex.org/W2883042941","https://openalex.org/W2963099222","https://openalex.org/W2986931599","https://openalex.org/W3012128986","https://openalex.org/W3012336636","https://openalex.org/W3013480945","https://openalex.org/W3096035740","https://openalex.org/W3125704518","https://openalex.org/W3144509508","https://openalex.org/W4225604009","https://openalex.org/W4290715633","https://openalex.org/W4382982141","https://openalex.org/W4388624588","https://openalex.org/W4401508092","https://openalex.org/W6682894363"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Network":[0],"topology":[1],"verification":[2,45,81,88,122,180],"in":[3,43,49,60,82,96,133,153,164,178],"Software-Defined":[4],"Networks":[5],"(SDN)":[6],"poses":[7],"a":[8,66,101,107,119,140,148,155,184],"significant":[9],"challenge,":[10,145],"as":[11],"vulnerabilities":[12],"can":[13],"allow":[14],"attackers":[15],"to":[16,37,174],"deceive":[17],"the":[18,22,30,44,54,73,87,97,167,179],"controller":[19,75],"and":[20,41,99,118,136],"manipulate":[21],"data":[23,108,160],"plane":[24,109,121],"into":[25],"incorrect":[26],"topologies,":[27],"thereby":[28],"endangering":[29],"entire":[31],"network's":[32],"security.":[33],"Current":[34],"solutions":[35],"fail":[36],"guarantee":[38],"both":[39],"security":[40,131],"efficiency":[42],"process,":[46],"often":[47],"resulting":[48],"damaging":[50],"user":[51],"traffic.":[52],"With":[53],"aim":[55],"of":[56,72,89,143,150,170],"solving":[57],"joint":[58],"objectives,":[59],"this":[61,144],"paper,":[62],"we":[63,146],"introduce":[64],"PathSafe,":[65],"novel":[67],"tool":[68],"constructed":[69],"on":[70],"top":[71],"existing":[74],"frameworks":[76],"designed":[77],"for":[78,111,158],"secure":[79,102],"path":[80],"SDN":[83],"environments.":[84],"It":[85],"enables":[86],"all":[90],"available":[91],"paths":[92],"between":[93],"two":[94],"points":[95],"network":[98],"ensures":[100],"process.":[103],"Our":[104,124],"approach":[105],"requires":[106],"component":[110],"real-time":[112],"packet":[113],"monitoring":[114],"at":[115],"line":[116],"speed":[117],"control":[120],"step.":[123],"research":[125],"demonstrates":[126],"that":[127],"PathSafe":[128,171],"effectively":[129],"mitigates":[130],"risks":[132],"compromised":[134],"switches":[135],"host":[137],"scenarios.":[138],"Alongside":[139],"theoretical":[141],"exploration":[142],"present":[147],"proof":[149],"concept":[151],"implemented":[152],"P4,":[154],"common":[156],"language":[157],"programmable":[159],"planes.":[161],"Results":[162],"obtained":[163],"Mininet":[165],"underscore":[166],"practical":[168],"applicability":[169],"that,":[172],"compared":[173],"alternatives,":[175],"reduces":[176],"overhead":[177],"process":[181],"while":[182],"maintaining":[183],"limited":[185],"execution":[186],"time.":[187]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}