{"id":"https://openalex.org/W3048309924","doi":"https://doi.org/10.1109/cns48642.2020.9162164","title":"SYMBION: Interleaving Symbolic with Concrete Execution","display_name":"SYMBION: Interleaving Symbolic with Concrete Execution","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W3048309924","doi":"https://doi.org/10.1109/cns48642.2020.9162164","mag":"3048309924"},"language":"en","primary_location":{"id":"doi:10.1109/cns48642.2020.9162164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cns48642.2020.9162164","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE Conference on Communications and Network Security (CNS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/239731547/gritti2020_symbion.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Fabio Gritti","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fabio Gritti","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017119587","display_name":"Lorenzo Fontana","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lorenzo Fontana","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073278833","display_name":"Eric Gustafson","orcid":"https://orcid.org/0009-0001-2371-9486"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Gustafson","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058787341","display_name":"Fabio Pagani","orcid":"https://orcid.org/0000-0002-4357-9804"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fabio Pagani","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071672404","display_name":"Andrea Continella","orcid":"https://orcid.org/0000-0002-0329-1830"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrea Continella","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022177364","display_name":"Christopher Kruegel","orcid":"https://orcid.org/0000-0001-5140-3414"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher Kruegel","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075685499","display_name":"Giovanni Vigna","orcid":"https://orcid.org/0000-0002-3422-5369"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giovanni Vigna","raw_affiliation_strings":["University of California, Santa, Barbara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa, Barbara","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":1.9282,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.86624419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.9515090584754944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8847057819366455},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.8104472756385803},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5807398557662964},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.5358627438545227},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5352834463119507},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5286089777946472},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5001077651977539},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.49923086166381836},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4400370717048645},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.33345258235931396},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.2274090051651001},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1761758029460907},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.13627159595489502}],"concepts":[{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.9515090584754944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8847057819366455},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.8104472756385803},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5807398557662964},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.5358627438545227},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5352834463119507},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5286089777946472},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5001077651977539},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.49923086166381836},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4400370717048645},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33345258235931396},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2274090051651001},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1761758029460907},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.13627159595489502},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cns48642.2020.9162164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cns48642.2020.9162164","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE Conference on Communications and Network Security (CNS)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/9ad39658-8837-4bda-a293-696471748c0b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/9ad39658-8837-4bda-a293-696471748c0b","pdf_url":"https://ris.utwente.nl/ws/files/239731547/gritti2020_symbion.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gritti, F, Fontana, L, Gustafson, E, Pagani, F, Continella, A, Kruegel, C & Vigna, G 2020, SYMBION : Interleaving Symbolic with Concrete Execution. in 2020 IEEE Conference on Communications and Network Security, CNS 2020., 9162164, IEEE, 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, 29/06/20. https://doi.org/10.1109/CNS48642.2020.9162164","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ris.utwente.nl:publications/9ad39658-8837-4bda-a293-696471748c0b","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/9ad39658-8837-4bda-a293-696471748c0b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/9ad39658-8837-4bda-a293-696471748c0b","pdf_url":"https://ris.utwente.nl/ws/files/239731547/gritti2020_symbion.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gritti, F, Fontana, L, Gustafson, E, Pagani, F, Continella, A, Kruegel, C & Vigna, G 2020, SYMBION : Interleaving Symbolic with Concrete Execution. in 2020 IEEE Conference on Communications and Network Security, CNS 2020., 9162164, IEEE, 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, 29/06/20. https://doi.org/10.1109/CNS48642.2020.9162164","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G160522031","display_name":null,"funder_award_id":"FA8750-19-C-0003","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2209453243","display_name":null,"funder_award_id":"DE-NA0003525","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G2214935549","display_name":null,"funder_award_id":"NA0003525","funder_id":"https://openalex.org/F4320338291","funder_display_name":"Sandia National Laboratories"},{"id":"https://openalex.org/G336692854","display_name":null,"funder_award_id":"NA0003525","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4903105778","display_name":null,"funder_award_id":"NA0003525","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G4947178736","display_name":null,"funder_award_id":"-NA0003525","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G5211897158","display_name":null,"funder_award_id":"DE-NA0003525","funder_id":"https://openalex.org/F4320332369","funder_display_name":"National Nuclear Security Administration"},{"id":"https://openalex.org/G5339743583","display_name":null,"funder_award_id":"NA0003525","funder_id":"https://openalex.org/F4320332369","funder_display_name":"National Nuclear Security Administration"},{"id":"https://openalex.org/G7863251110","display_name":null,"funder_award_id":"DE-NA0003525","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8279418378","display_name":null,"funder_award_id":"DE-NA0003525","funder_id":"https://openalex.org/F4320338291","funder_display_name":"Sandia National Laboratories"},{"id":"https://openalex.org/G8450722877","display_name":null,"funder_award_id":"HR001118C0060","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332369","display_name":"National Nuclear Security Administration","ror":"https://ror.org/03sk1we31"},{"id":"https://openalex.org/F4320338291","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3048309924.pdf","grobid_xml":"https://content.openalex.org/works/W3048309924.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W7103708","https://openalex.org/W116894366","https://openalex.org/W191656338","https://openalex.org/W1457363419","https://openalex.org/W1522250664","https://openalex.org/W1710734607","https://openalex.org/W2009489720","https://openalex.org/W2042033151","https://openalex.org/W2091939272","https://openalex.org/W2107147876","https://openalex.org/W2113864883","https://openalex.org/W2117030266","https://openalex.org/W2119251836","https://openalex.org/W2137530017","https://openalex.org/W2176830056","https://openalex.org/W2514974017","https://openalex.org/W2574017551","https://openalex.org/W2620946705","https://openalex.org/W2621276321","https://openalex.org/W2795052548","https://openalex.org/W2884769489","https://openalex.org/W3039956810","https://openalex.org/W4234542549","https://openalex.org/W4244700344","https://openalex.org/W6600275301","https://openalex.org/W6628365534","https://openalex.org/W6631155369","https://openalex.org/W6637688222","https://openalex.org/W6685576885"],"related_works":["https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W2101264565","https://openalex.org/W34311366","https://openalex.org/W3141167149","https://openalex.org/W2078988604","https://openalex.org/W2044213223","https://openalex.org/W3139784857","https://openalex.org/W4390796750","https://openalex.org/W4386755271"],"abstract_inverted_index":{"Symbolic":[0],"execution":[1,20,106,156],"is":[2,21,133,173],"a":[3,99,159,183],"powerful":[4],"technique":[5,101],"for":[6,185],"exploring":[7],"programs":[8,40,64],"and":[9,66,144,171,189],"generating":[10],"inputs":[11],"that":[12,102,199,210],"drive":[13],"them":[14],"into":[15],"specific":[16],"states.":[17],"However,":[18],"symbolic":[19,105,112,125,155],"also":[22],"known":[23],"to":[24,33,134,139,177,203,214],"suffer":[25],"from":[26],"severe":[27],"limitations,":[28],"which":[29],"prevent":[30],"its":[31,192],"application":[32],"real-world":[34,196],"software.":[35],"For":[36,91],"example,":[37],"symbolically":[38],"executing":[39],"requires":[41],"modeling":[42],"their":[43],"interactions":[44,152],"with":[45,107,153,175],"the":[46,63,70,75,78,111,136,141,147,150,154,178],"surrounding":[47],"environment":[48,138,151],"(e.g.,":[49],"libraries,":[50],"operating":[51],"systems).":[52],"Unfortunately,":[53],"models":[54,84],"are":[55,85],"usually":[56],"created":[57],"manually,":[58],"introducing":[59],"considerable":[60],"approximations":[61],"of":[62,77,118,130,149,208],"behaviors":[65],"significant":[67],"imprecision":[68],"in":[69,94],"analysis.":[71],"In":[72],"addition,":[73],"as":[74],"complexity":[76],"system":[79],"under":[80],"analysis":[81],"grows,":[82],"additional":[83],"needed,":[86],"making":[87],"this":[88,95,122,186],"process":[89],"unsustainable.":[90],"these":[92],"reasons,":[93],"paper":[96],"we":[97,190],"propose":[98],"novel":[100],"allows":[103,201],"interleaving":[104],"concrete":[108,137,179],"execution,":[109],"focusing":[110],"exploration":[113],"only":[114],"on":[115],"interesting":[116],"portions":[117,207],"code.":[119],"We":[120,181],"call":[121],"approach":[123,132,162],"interleaved":[124],"execution.":[126],"The":[127],"key":[128],"idea":[129],"our":[131,161],"re-use":[135],"run":[140],"input":[142],"program,":[143],"then":[145],"synchronize":[146],"results":[148],"engine.":[157],"As":[158],"consequence,":[160],"does":[163],"not":[164,212],"make":[165],"any":[166],"assumption":[167],"about":[168],"such":[169],"interactions,":[170],"it":[172,200],"agnostic":[174],"respect":[176],"environment.":[180],"implement":[182],"prototype":[184],"technique,":[187],"SYMBION,":[188],"demonstrate":[191],"effectiveness":[193],"by":[194],"analyzing":[195],"malware,":[197],"showing":[198],"us":[202],"effectively":[204],"skip":[205],"complex":[206],"code":[209],"do":[211],"need":[213],"be":[215],"analyzed":[216],"symbolically.":[217]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}