{"id":"https://openalex.org/W2768051178","doi":"https://doi.org/10.1109/ase.2017.8115647","title":"Towards robust instruction-level trace alignment of binary code","display_name":"Towards robust instruction-level trace alignment of binary code","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2768051178","doi":"https://doi.org/10.1109/ase.2017.8115647","mag":"2768051178"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2017.8115647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5082932780","display_name":"Ulf Karg\u00e9n","orcid":"https://orcid.org/0000-0002-3009-4314"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ulf Kargen","raw_affiliation_strings":["Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048152442","display_name":"Nahid Shahmehri","orcid":"https://orcid.org/0000-0002-0920-2157"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Nahid Shahmehri","raw_affiliation_strings":["Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102134673"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"342","last_page":"352"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9039946794509888},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.8805022239685059},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7860671877861023},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6733571887016296},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6703805327415466},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.6620092988014221},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6339313983917236},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5996382832527161},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.5874499678611755},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5781718492507935},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.5580762624740601},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5433985590934753},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.5275321006774902},{"id":"https://openalex.org/keywords/malware-analysis","display_name":"Malware analysis","score":0.5266011953353882},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.5225039124488831},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5146018266677856},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.49211639165878296},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.4561331868171692},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.45221248269081116},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4504002332687378},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.36576393246650696},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.2828567624092102},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2237013280391693},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18506506085395813},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1130511462688446},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.10305291414260864},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09059315919876099},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.07900971174240112}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9039946794509888},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.8805022239685059},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7860671877861023},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6733571887016296},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6703805327415466},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.6620092988014221},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6339313983917236},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5996382832527161},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.5874499678611755},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5781718492507935},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.5580762624740601},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5433985590934753},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.5275321006774902},{"id":"https://openalex.org/C2779395397","wikidata":"https://www.wikidata.org/wiki/Q15731404","display_name":"Malware analysis","level":3,"score":0.5266011953353882},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.5225039124488831},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5146018266677856},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.49211639165878296},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.4561331868171692},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.45221248269081116},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4504002332687378},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.36576393246650696},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.2828567624092102},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2237013280391693},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18506506085395813},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1130511462688446},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.10305291414260864},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09059315919876099},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.07900971174240112},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2017.8115647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W152645600","https://openalex.org/W170732776","https://openalex.org/W200653874","https://openalex.org/W596492259","https://openalex.org/W1604459715","https://openalex.org/W1690253345","https://openalex.org/W1942295288","https://openalex.org/W1984978725","https://openalex.org/W2009614414","https://openalex.org/W2041839827","https://openalex.org/W2046185165","https://openalex.org/W2081561469","https://openalex.org/W2082594235","https://openalex.org/W2087064593","https://openalex.org/W2096522207","https://openalex.org/W2134633067","https://openalex.org/W2138385884","https://openalex.org/W2144994235","https://openalex.org/W2145657894","https://openalex.org/W2165597437","https://openalex.org/W2414803796","https://openalex.org/W2532962075","https://openalex.org/W2547625248","https://openalex.org/W2577142429","https://openalex.org/W2577593292","https://openalex.org/W4239813889","https://openalex.org/W6608191175","https://openalex.org/W6617952372","https://openalex.org/W6636411187","https://openalex.org/W6671204143","https://openalex.org/W6684431561"],"related_works":["https://openalex.org/W179346248","https://openalex.org/W2969365378","https://openalex.org/W3020408162","https://openalex.org/W4232768799","https://openalex.org/W181269922","https://openalex.org/W91735429","https://openalex.org/W1777501891","https://openalex.org/W2567138568","https://openalex.org/W2172464685","https://openalex.org/W2098492867"],"abstract_inverted_index":{"Program":[0],"trace":[1,110],"alignment":[2,111],"is":[3,74,148],"the":[4,32,37,58,72,82,155],"process":[5],"of":[6,16,34,41,47,89,150,157,175,177],"establishing":[7],"a":[8,117],"correspondence":[9],"between":[10],"dynamic":[11,78],"instruction":[12],"instances":[13],"in":[14,120,154],"executions":[15],"two":[17],"semantically":[18],"similar":[19],"but":[20],"syntactically":[21],"different":[22],"programs.":[23,49],"In":[24],"this":[25],"paper":[26],"we":[27,106],"present":[28],"what":[29],"is,":[30],"to":[31,68,100,115,171],"best":[33],"our":[35,53,96,109,137],"knowledge,":[36],"first":[38],"method":[39,54,73,112,138],"capable":[40,149],"aligning":[42],"realistically":[43],"long":[44],"execution":[45],"traces":[46,172],"real":[48],"To":[50],"maximize":[51],"generality,":[52],"works":[55],"entirely":[56,76],"on":[57,77,139],"machine":[59],"code":[60,103,159],"level,":[61],"i.e.":[62],"it":[63,147,168],"does":[64],"not":[65],"require":[66],"access":[67],"source":[69],"code.":[70],"Moreover,":[71],"based":[75],"analysis,":[79],"which":[80,93],"avoids":[81],"many":[83,121],"challenges":[84],"associated":[85],"with":[86,173],"static":[87,102],"analysis":[88,123],"binary":[90],"code,":[91],"and":[92,131,144,166],"additionally":[94],"makes":[95],"approach":[97],"inherently":[98],"resilient":[99],"e.g.":[101],"obfuscation.":[104],"Therefore,":[105],"believe":[107],"that":[108,146,167],"could":[113],"prove":[114],"be":[116],"useful":[118],"aid":[119],"program":[122],"tasks,":[124],"such":[125,161],"as":[126,162],"debugging,":[127],"reverse-engineering,":[128],"investigating":[129],"plagiarism,":[130],"malware":[132],"analysis.":[133],"We":[134],"empirically":[135],"evaluate":[136],"11":[140],"popular":[141],"Linux":[142],"programs,":[143],"show":[145],"producing":[151],"meaningful":[152],"alignments":[153],"presence":[156],"various":[158],"transformations":[160],"optimization":[163],"or":[164],"obfuscation,":[165],"easily":[169],"scales":[170],"tens":[174],"millions":[176],"instructions.":[178]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}