{"id":"https://openalex.org/W3096583935","doi":"https://doi.org/10.1145/3411505.3418439","title":"Short Paper","display_name":"Short Paper","publication_year":2020,"publication_date":"2020-11-02","ids":{"openalex":"https://openalex.org/W3096583935","doi":"https://doi.org/10.1145/3411505.3418439","mag":"3096583935"},"language":"en","primary_location":{"id":"doi:10.1145/3411505.3418439","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411505.3418439","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd Workshop on Cyber-Security Arms Race","raw_type":"proceedings-article"},"type":"conference-paper","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/A5073892199","display_name":"Daniele Bringhenti","orcid":"https://orcid.org/0000-0002-3086-7364"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Bringhenti","raw_affiliation_strings":["Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010269472","display_name":"Guido Marchetto","orcid":"https://orcid.org/0000-0003-3588-9367"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Guido Marchetto","raw_affiliation_strings":["Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021669146","display_name":"Riccardo Sisto","orcid":"https://orcid.org/0000-0002-3142-2383"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Sisto","raw_affiliation_strings":["Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055358727","display_name":"Fulvio Valenza","orcid":"https://orcid.org/0000-0002-8471-3029"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fulvio Valenza","raw_affiliation_strings":["Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"30"},"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.9984999895095825,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9929999709129333,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8017450571060181},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6483967304229736},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.5866345167160034},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5154420137405396},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.48292824625968933},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.45424944162368774},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45127999782562256},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.42000892758369446},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.40913158655166626},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.3409888446331024},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13508769869804382}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8017450571060181},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6483967304229736},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.5866345167160034},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5154420137405396},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.48292824625968933},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.45424944162368774},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45127999782562256},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.42000892758369446},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.40913158655166626},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3409888446331024},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13508769869804382},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3411505.3418439","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411505.3418439","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd Workshop on Cyber-Security Arms Race","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G3656740367","display_name":null,"funder_award_id":"786922","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G6384328479","display_name":null,"funder_award_id":"830929","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1483177141","https://openalex.org/W1496584608","https://openalex.org/W1552329465","https://openalex.org/W1581387117","https://openalex.org/W1776000273","https://openalex.org/W2002248199","https://openalex.org/W2014254858","https://openalex.org/W2036291311","https://openalex.org/W2090513879","https://openalex.org/W2102759139","https://openalex.org/W2121188019","https://openalex.org/W2135870733","https://openalex.org/W2154840930","https://openalex.org/W2260783129","https://openalex.org/W2510513234","https://openalex.org/W2552298303","https://openalex.org/W2575561340","https://openalex.org/W2728126758","https://openalex.org/W2911938450","https://openalex.org/W2913966487","https://openalex.org/W3034278024","https://openalex.org/W3100009627","https://openalex.org/W4213012696"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W3150465815","https://openalex.org/W1997222214","https://openalex.org/W2802581102","https://openalex.org/W4205786897"],"abstract_inverted_index":{"Data":[0],"confidentiality,":[1],"integrity":[2],"and":[3,50,80,105,137,158,169],"authentication":[4],"are":[5,9],"security":[6],"properties":[7],"which":[8,84],"often":[10],"enforced":[11],"with":[12],"the":[13,28,31,41,69,86,109,112,152,162],"generation":[14],"of":[15,30,34,43,72,92,111,121,154],"secure":[16],"channels,":[17],"such":[18,46],"as":[19,47],"Virtual":[20],"Private":[21],"Networks,":[22],"over":[23],"unreliable":[24],"network":[25,63],"infrastructures.":[26],"Traditionally,":[27],"configuration":[29,110],"systems":[32,115,141],"responsible":[33],"encryption":[35],"operations":[36,78],"is":[37,75],"performed":[38],"manually.":[39],"However,":[40],"advent":[42],"software-based":[44],"paradigms,":[45],"Software-Defined":[48],"Networking":[49],"Network":[51],"Functions":[52],"Virtualization,":[53],"has":[54,65],"introduced":[55],"new":[56],"arms":[57],"races.":[58],"In":[59,119],"particular,":[60],"even":[61],"though":[62],"management":[64],"become":[66],"more":[67],"flexible,":[68],"increased":[70],"complexity":[71],"virtual":[73],"networks":[74],"making":[76],"manual":[77],"unfeasible":[79],"leading":[81],"to":[82,88,134,164],"errors":[83],"open":[85],"path":[87],"a":[89,101,127,155,172],"large":[90],"number":[91],"cyber":[93],"attacks.":[94],"A":[95],"possible":[96],"solution":[97],"consists":[98],"in":[99,142,171],"reaching":[100],"trade-off":[102],"between":[103],"flexibility":[104],"complexity,":[106],"by":[107],"automatizing":[108],"channel":[113,139],"protection":[114,140],"through":[116],"policy":[117],"refinement.":[118],"view":[120],"these":[122],"considerations,":[123],"this":[124],"paper":[125],"proposes":[126],"preliminary":[128],"study":[129],"for":[130],"an":[131],"innovative":[132],"methodology":[133],"automatically":[135],"allocate":[136],"configure":[138],"virtualized":[143],"networks.":[144],"The":[145],"proposed":[146],"approach":[147],"would":[148,160],"be":[149,161],"based":[150],"on":[151],"formulation":[153],"MaxSMT":[156],"problem":[157],"it":[159],"first":[163],"combine":[165],"automation,":[166],"formal":[167],"verification":[168],"optimality":[170],"single":[173],"technique.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2020-11-09T00:00:00"}
