{"id":"https://openalex.org/W2339906640","doi":"https://doi.org/10.1145/2934872.2934881","title":"SymNet","display_name":"SymNet","publication_year":2016,"publication_date":"2016-08-01","ids":{"openalex":"https://openalex.org/W2339906640","doi":"https://doi.org/10.1145/2934872.2934881","mag":"2339906640"},"language":"en","primary_location":{"id":"doi:10.1145/2934872.2934881","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2934872.2934881","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2934872.2934881","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGCOMM Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2934872.2934881","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059623051","display_name":"Radu Stoenescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Radu Stoenescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046395329","display_name":"Matei Popovici","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Matei Popovici","raw_affiliation_strings":["University Politehnica of Bucharest, Institutul de Cercet\u0103ri al Universit\u0103\u021bii Bucure\u0219ti"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest, Institutul de Cercet\u0103ri al Universit\u0103\u021bii Bucure\u0219ti","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070895720","display_name":"Lorina Negreanu","orcid":"https://orcid.org/0000-0003-2323-9535"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Lorina Negreanu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008493066","display_name":"Costin Raiciu","orcid":"https://orcid.org/0000-0002-5937-2162"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Costin Raiciu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059623051"],"corresponding_institution_ids":["https://openalex.org/I61641377"],"apc_list":null,"apc_paid":null,"fwci":13.5843,"has_fulltext":true,"cited_by_count":113,"citation_normalized_percentile":{"value":0.98958201,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"314","last_page":"327"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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/T10714","display_name":"Software-Defined Networks and 5G","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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8907315135002136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5258160829544067},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5240252614021301},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5190632939338684},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.5031854510307312},{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.4908019006252289},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.45636293292045593},{"id":"https://openalex.org/keywords/header","display_name":"Header","score":0.43268364667892456},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.41812023520469666},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37154585123062134},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.32894402742385864}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8907315135002136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5258160829544067},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5240252614021301},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5190632939338684},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.5031854510307312},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.4908019006252289},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.45636293292045593},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.43268364667892456},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.41812023520469666},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37154585123062134},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.32894402742385864},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2934872.2934881","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2934872.2934881","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2934872.2934881","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGCOMM Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2934872.2934881","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2934872.2934881","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2934872.2934881","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGCOMM Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2049122374","display_name":null,"funder_award_id":"671566","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G53405027","display_name":null,"funder_award_id":"CNECT-ICT-317756","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2339906640.pdf","grobid_xml":"https://content.openalex.org/works/W2339906640.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W223955670","https://openalex.org/W1249296113","https://openalex.org/W1480909796","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1882012874","https://openalex.org/W1965343327","https://openalex.org/W1992154486","https://openalex.org/W2010365467","https://openalex.org/W2033871392","https://openalex.org/W2099501333","https://openalex.org/W2115526539","https://openalex.org/W2120034731","https://openalex.org/W2130210899","https://openalex.org/W2140069682","https://openalex.org/W2155216527","https://openalex.org/W2180601376","https://openalex.org/W2188073520","https://openalex.org/W2308109111","https://openalex.org/W4234045312","https://openalex.org/W4252996637","https://openalex.org/W4254605472"],"related_works":["https://openalex.org/W2171597999","https://openalex.org/W2189136227","https://openalex.org/W1866537546","https://openalex.org/W630850086","https://openalex.org/W3200508093","https://openalex.org/W4372053344","https://openalex.org/W3193978431","https://openalex.org/W2519240373","https://openalex.org/W2379752180","https://openalex.org/W1601859592"],"abstract_inverted_index":{"We":[0,97],"present":[1],"SymNet,":[2],"a":[3,28,38],"network":[4,87,114,120],"static":[5],"analysis":[6],"tool":[7,172],"based":[8],"on":[9,154],"symbolic":[10,14,175],"execution.":[11],"SymNet":[12,42,64,99],"injects":[13],"packets":[15],"and":[16,59,76,85,95,115,139,145,160,177],"tracks":[17],"their":[18],"evolution":[19],"through":[20],"the":[21,53,60,106,116,182,189],"network.":[22],"Our":[23],"key":[24],"novelty":[25],"is":[26,122,184],"SEFL,":[27],"language":[29],"we":[30,128,166],"designed":[31],"for":[32,56],"expressing":[33],"data":[34,47],"plane":[35,48],"processing":[36,94],"in":[37,78],"symbolic-execution":[39],"friendly":[40],"manner.":[41],"statically":[43],"analyzes":[44],"an":[45,169,185],"abstract":[46],"model":[49,183],"that":[50,132,157,173],"consists":[51],"of":[52,72,74,111,188],"SEFL":[54,135],"code":[55],"every":[57],"node":[58],"links":[61],"between":[62],"nodes.":[63],"can":[65],"check":[66,109,180],"networks":[67],"containing":[68],"routers":[69],"with":[70],"hundreds":[71],"thousands":[73],"prefixes":[75],"NATs":[77],"seconds,":[79],"while":[80],"verifying":[81],"packet":[82],"header":[83],"memory-safety":[84],"covering":[86],"functionality":[88,121],"such":[89],"as":[90],"dynamic":[91],"tunneling,":[92],"stateful":[93],"encryption.":[96],"used":[98],"to":[100,108,162,179],"debug":[101],"mid-":[102],"dlebox":[103],"interactions":[104],"from":[105,137],"literature,":[107],"properties":[110],"our":[112],"department\u2019s":[113],"Stanford":[117],"backbone.":[118],"Modeling":[119],"not":[123],"easy.":[124],"To":[125],"aid":[126],"users":[127],"have":[129,167],"developed":[130],"parsers":[131,152],"automatically":[133],"generate":[134],"models":[136,156],"router":[138,149],"switch":[140],"tables,":[141],"firewall":[142],"configura-":[143],"tions":[144],"arbitrary":[146],"Click":[147],"modular":[148],"configurations.":[150],"The":[151],"rely":[153],"prebuilt":[155],"are":[158],"exact":[159],"fast":[161],"an-":[163],"alyze.":[164],"Finally,":[165],"built":[168],"automated":[170],"testing":[171,178],"combines":[174],"execution":[176],"whether":[181],"accurate":[186],"representation":[187],"real":[190],"code.":[191]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":16},{"year":2020,"cited_by_count":18},{"year":2019,"cited_by_count":15},{"year":2018,"cited_by_count":16},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}