{"id":"https://openalex.org/W4384948749","doi":"https://doi.org/10.1109/sp46215.2023.10179370","title":"Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation","display_name":"Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4384948749","doi":"https://doi.org/10.1109/sp46215.2023.10179370"},"language":"en","primary_location":{"id":"doi:10.1109/sp46215.2023.10179370","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","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/A5019577130","display_name":"Ali Ahad","orcid":"https://orcid.org/0000-0002-3793-9180"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ali Ahad","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059444418","display_name":"Chijung Jung","orcid":"https://orcid.org/0000-0003-1507-3635"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chijung Jung","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119013629","display_name":"Ammar Askar","orcid":"https://orcid.org/0000-0002-9703-4885"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ammar Askar","raw_affiliation_strings":["Georgia Institute of Technology,School of Computer Science,Atlanta,GA,USA","School of Computer Science, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,School of Computer Science,Atlanta,GA,USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"School of Computer Science, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025936242","display_name":"Doowon Kim","orcid":"https://orcid.org/0000-0002-9033-990X"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Doowon Kim","raw_affiliation_strings":["University of Tennessee,Department of Electrical Engineering and Computer Science,Knoxville,TN,USA","Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, TN, USA"],"affiliations":[{"raw_affiliation_string":"University of Tennessee,Department of Electrical Engineering and Computer Science,Knoxville,TN,USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100743709","display_name":"Taesoo Kim","orcid":"https://orcid.org/0000-0002-7440-2067"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taesoo Kim","raw_affiliation_strings":["Georgia Institute of Technology,School of Computer Science,Atlanta,GA,USA","School of Computer Science, Georgia Institute of Technology, Atlanta, GA, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,School of Computer Science,Atlanta,GA,USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"School of Computer Science, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053834185","display_name":"Yonghwi Kwon","orcid":"https://orcid.org/0000-0002-0021-2850"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yonghwi Kwon","raw_affiliation_strings":["University of Virginia,Department of Computer Science,Charlottesville,VA,USA","Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia,Department of Computer Science,Charlottesville,VA,USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5019577130"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":0.4075,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55918623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3296","last_page":"3313"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"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.9990000128746033,"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.9912999868392944,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9905999898910522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.8201874494552612},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.744111955165863},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5922995805740356},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5733952522277832},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4179033041000366},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.4176274836063385},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19814404845237732},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.143621027469635},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10555028915405273}],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.8201874494552612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.744111955165863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5922995805740356},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5733952522277832},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4179033041000366},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.4176274836063385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19814404845237732},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.143621027469635},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10555028915405273}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sp46215.2023.10179370","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5699999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W191489030","https://openalex.org/W1433241871","https://openalex.org/W2056608406","https://openalex.org/W2098456636","https://openalex.org/W2142778065","https://openalex.org/W2147118954","https://openalex.org/W2296335794","https://openalex.org/W2496999134","https://openalex.org/W2753395445","https://openalex.org/W2795192879","https://openalex.org/W2890042297","https://openalex.org/W2950327322","https://openalex.org/W2963125488","https://openalex.org/W2998740266","https://openalex.org/W3012221736","https://openalex.org/W3015291177","https://openalex.org/W3033117380","https://openalex.org/W3043641306","https://openalex.org/W3090756599","https://openalex.org/W3112827746","https://openalex.org/W4229566048","https://openalex.org/W6607853461","https://openalex.org/W6628224403","https://openalex.org/W6697144307","https://openalex.org/W6724342392","https://openalex.org/W6743691393"],"related_works":["https://openalex.org/W2097492617","https://openalex.org/W2341492732","https://openalex.org/W3187193180","https://openalex.org/W106542691","https://openalex.org/W4287027380","https://openalex.org/W1699080303","https://openalex.org/W4297799326","https://openalex.org/W2753240997","https://openalex.org/W2207495067","https://openalex.org/W1906486629"],"abstract_inverted_index":{"Decompilation":[0],"is":[1,69,94],"a":[2,33,52,57,63],"crucial":[3],"capability":[4],"in":[5,47,82,107,154],"forensic":[6,48,111],"analysis,":[7],"facilitating":[8],"analysis":[9],"of":[10,16,91,97,110,142],"unknown":[11],"binaries.":[12,182],"The":[13,89],"recent":[14],"rise":[15],"Python":[17,23,34,37,60,148,177],"malware":[18,149],"has":[19],"brought":[20],"attention":[21],"to":[22,27,40,118,131,180],"decompilers":[24,38],"that":[25,55,70,128],"aim":[26],"obtain":[28],"source":[29],"code":[30,80],"representation":[31],"from":[32],"binary.":[35,65],"However,":[36],"fail":[39],"handle":[41],"various":[42,125],"binaries,":[43],"limiting":[44],"their":[45,120],"capabilities":[46],"analysis.This":[49],"paper":[50],"proposes":[51],"novel":[53],"solution":[54],"transforms":[56],"decompilation":[58,75,152],"error-inducing":[59,79,126],"binary":[61,85],"into":[62,86],"decompilable":[64],"Our":[66,165],"key":[67],"intuition":[68],"we":[71],"can":[72],"resolve":[73],"the":[74,83,95,108,116,135,140],"errors":[76,153],"by":[77],"transforming":[78],"blocks":[81],"input":[84],"another":[87],"form.":[88],"core":[90],"our":[92,143],"approach":[93,144,166],"concept":[96],"Forensically":[98],"Equivalent":[99],"Transformation":[100],"(FET)":[101],"which":[102],"allows":[103],"non-semantic":[104],"preserving":[105,134],"transformation":[106],"context":[109],"analysis.":[112],"We":[113,138],"carefully":[114],"define":[115],"FETs":[117],"minimize":[119],"undesirable":[121],"consequences":[122],"while":[123],"fixing":[124],"instructions":[127],"are":[129],"difficult":[130],"solve":[132],"when":[133],"exact":[136],"semantics.":[137],"evaluate":[139],"prototype":[141],"with":[145],"17,117":[146],"real-world":[147],"samples":[150],"causing":[151],"five":[155],"popular":[156],"decompilers.":[157],"It":[158],"successfully":[159],"identifies":[160],"and":[161,174],"fixes":[162],"77,022":[163],"errors.":[164],"also":[167],"handles":[168],"anti-analysis":[169],"techniques,":[170],"including":[171],"opcode":[172],"remapping,":[173],"helps":[175],"migrate":[176],"3.9":[178],"binaries":[179],"3.8":[181]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}