{"id":"https://openalex.org/W3095064528","doi":"https://doi.org/10.1145/3411502.3418425","title":"Automatic Feature Isolation in Network Protocol Software Implementations","display_name":"Automatic Feature Isolation in Network Protocol Software Implementations","publication_year":2020,"publication_date":"2020-11-05","ids":{"openalex":"https://openalex.org/W3095064528","doi":"https://doi.org/10.1145/3411502.3418425","mag":"3095064528"},"language":"en","primary_location":{"id":"doi:10.1145/3411502.3418425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411502.3418425","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM Workshop on Forming an Ecosystem Around Software Transformation","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/A5100379789","display_name":"Ze Zhang","orcid":"https://orcid.org/0000-0001-9763-4592"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ze Zhang","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101849331","display_name":"Qingzhao Zhang","orcid":"https://orcid.org/0000-0003-2598-5988"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qingzhao Zhang","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063824429","display_name":"Brandon Nguyen","orcid":"https://orcid.org/0000-0002-3053-9627"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brandon Nguyen","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080527236","display_name":"Sanjay Sri Vallabh Singapuram","orcid":"https://orcid.org/0000-0002-8688-1843"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sanjay Sri Vallabh Singapuram","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012670041","display_name":"Zeyu Mao","orcid":"https://orcid.org/0000-0003-0841-5123"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Z. Morley Mao","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002075773","display_name":"Scott Mahlke","orcid":"https://orcid.org/0000-0002-0438-0616"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Mahlke","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100379789"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.197558,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8634538054466248},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6837754845619202},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6124552488327026},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5752422213554382},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.5706065893173218},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.5648409724235535},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5553262233734131},{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.5536019206047058},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5345040559768677},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3814474940299988},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3564799129962921},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34095498919487},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32160335779190063},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1992218792438507},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1821700632572174},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09253591299057007}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8634538054466248},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6837754845619202},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6124552488327026},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5752422213554382},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.5706065893173218},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.5648409724235535},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5553262233734131},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.5536019206047058},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5345040559768677},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3814474940299988},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3564799129962921},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34095498919487},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32160335779190063},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1992218792438507},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1821700632572174},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09253591299057007},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3411502.3418425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411502.3418425","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 ACM Workshop on Forming an Ecosystem Around Software Transformation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G7020206385","display_name":null,"funder_award_id":"N00014-18-1-2020","funder_id":"https://openalex.org/F4320338298","funder_display_name":"Office of Naval Research Global"}],"funders":[{"id":"https://openalex.org/F4320338298","display_name":"Office of Naval Research Global","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2042923641","https://openalex.org/W2063255488","https://openalex.org/W2067877212","https://openalex.org/W2138703291","https://openalex.org/W2146325724","https://openalex.org/W2149237601","https://openalex.org/W2153185479","https://openalex.org/W2166841005","https://openalex.org/W2260681216","https://openalex.org/W2516285678","https://openalex.org/W2522470548","https://openalex.org/W2538057479","https://openalex.org/W2765372222","https://openalex.org/W2891688103","https://openalex.org/W2897338212","https://openalex.org/W2956105891","https://openalex.org/W3007431651","https://openalex.org/W3029334495","https://openalex.org/W3102041579","https://openalex.org/W3160107060","https://openalex.org/W4240345657"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W4312814274","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703"],"abstract_inverted_index":{"Common":[0],"vulnerabilities":[1],"and":[2,58],"exposures":[3],"(CVEs)":[4],"usually":[5],"exploit":[6],"design":[7],"or":[8],"implementation":[9],"flaws":[10],"of":[11],"specific":[12],"features":[13,61],"in":[14,37,62],"widely":[15],"used":[16],"network":[17],"protocols.":[18,39],"Feature":[19],"isolation":[20],"as":[21],"a":[22,63,71],"general":[23],"protocol":[24,65,96],"customization":[25],"practice":[26],"is":[27],"shown":[28],"to":[29,33,55,75],"be":[30,91],"highly":[31],"promising":[32],"reduce":[34],"attack":[35],"surfaces":[36],"these":[38],"In":[40,67],"this":[41],"work-in-progress":[42],"paper,":[43],"we":[44,69],"present":[45],"two":[46],"program":[47],"analysis":[48],"based":[49],"methods":[50],"targeting":[51],"different":[52],"feature":[53,78],"granularity":[54],"automatically":[56],"identify":[57],"isolate":[59],"unnecessary":[60],"software":[64],"implementation.":[66],"addition,":[68],"develop":[70],"semantic":[72],"reconstruction":[73],"mechanism":[74],"enforce":[76],"user-specified":[77],"access":[79],"control":[80],"policies.":[81],"Preliminary":[82],"case":[83],"studies":[84],"confirm":[85],"that":[86],"our":[87],"proposed":[88],"techniques":[89],"can":[90],"effectively":[92],"applied":[93],"on":[94],"real-world":[95],"vulnerabilities.":[97]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
