{"id":"https://openalex.org/W2897725969","doi":"https://doi.org/10.1145/3273045.3273050","title":"BinRec","display_name":"BinRec","publication_year":2018,"publication_date":"2018-01-15","ids":{"openalex":"https://openalex.org/W2897725969","doi":"https://doi.org/10.1145/3273045.3273050","mag":"2897725969"},"language":"en","primary_location":{"id":"doi:10.1145/3273045.3273050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3273045.3273050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/76a4675d-0875-4f07-8554-2eafd32dafaa","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061856167","display_name":"Taddeus Kroes","orcid":"https://orcid.org/0000-0002-8060-2989"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Taddeus Kroes","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028886185","display_name":"Anil Altinay","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anil Altinay","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054773888","display_name":"Joseph Nash","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph Nash","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021234540","display_name":"Yeoul Na","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yeoul Na","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081376452","display_name":"Stijn Volckaert","orcid":"https://orcid.org/0000-0001-5594-7742"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stijn Volckaert","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029566823","display_name":"Herbert Bos","orcid":"https://orcid.org/0000-0001-6179-1510"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Herbert Bos","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103069673","display_name":"Michael Franz","orcid":"https://orcid.org/0000-0001-5911-2275"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Franz","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083941826","display_name":"Cristiano Giuffrida","orcid":"https://orcid.org/0000-0002-8329-5929"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Cristiano Giuffrida","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5061856167"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":null,"apc_paid":null,"fwci":1.5226,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.87335903,"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":"8","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"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.9987999796867371,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9950000047683716,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8538693189620972},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8301079273223877},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.788405179977417},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7249026298522949},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.659164547920227},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.621568500995636},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5379804372787476},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5356736779212952},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5343192219734192},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5190261602401733},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5123695135116577},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4996023178100586},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.49587950110435486},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.48357290029525757},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47940704226493835},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.457744300365448},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3838275969028473},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09010842442512512},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07184788584709167}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8538693189620972},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8301079273223877},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.788405179977417},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7249026298522949},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.659164547920227},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.621568500995636},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5379804372787476},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5356736779212952},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5343192219734192},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5190261602401733},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5123695135116577},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4996023178100586},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.49587950110435486},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.48357290029525757},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47940704226493835},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.457744300365448},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3838275969028473},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09010842442512512},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07184788584709167},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3273045.3273050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3273045.3273050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation","raw_type":"proceedings-article"},{"id":"pmh:oai:research.vu.nl:publications/76a4675d-0875-4f07-8554-2eafd32dafaa","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/76a4675d-0875-4f07-8554-2eafd32dafaa","pdf_url":"https://research.vu.nl/en/publications/76a4675d-0875-4f07-8554-2eafd32dafaa","source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"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":"Kroes, T, Altinay, A, Nash, J, Na, Y, Volckaert, S, Bos, H, Franz, M & Giuffrida, C 2018, BinRec: Attack surface reduction through dynamic binary recovery. in FEAST 2018 : Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2018. Association for Computing Machinery, pp. 8-13, 2018 Workshop on Forming an Ecosystem Around Software Transformation, FEAST, held in conjunction with the 25th ACM Conference on Computer and Communications Security, CCS 2018, Toronto, Canada, 19/10/18. https://doi.org/10.1145/3273045.3273050","raw_type":"contributionToPeriodical"},{"id":"pmh:vu:oai:research.vu.nl:publications/76a4675d-0875-4f07-8554-2eafd32dafaa","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/76a4675d-0875-4f07-8554-2eafd32dafaa","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"FEAST 2018 - Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2018, 8 - 13","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:publications/76a4675d-0875-4f07-8554-2eafd32dafaa","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/76a4675d-0875-4f07-8554-2eafd32dafaa","pdf_url":"https://research.vu.nl/en/publications/76a4675d-0875-4f07-8554-2eafd32dafaa","source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"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":"Kroes, T, Altinay, A, Nash, J, Na, Y, Volckaert, S, Bos, H, Franz, M & Giuffrida, C 2018, BinRec: Attack surface reduction through dynamic binary recovery. in FEAST 2018 : Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2018. Association for Computing Machinery, pp. 8-13, 2018 Workshop on Forming an Ecosystem Around Software Transformation, FEAST, held in conjunction with the 25th ACM Conference on Computer and Communications Security, CCS 2018, Toronto, Canada, 19/10/18. https://doi.org/10.1145/3273045.3273050","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1627060651","display_name":null,"funder_award_id":"786669","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"},{"id":"https://openalex.org/G1880669887","display_name":"TWC: TTP Option: Medium: Collaborative: ENCORE - ENhanced program protection through COmpiler-REwriter cooperation","funder_award_id":"1513837","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G312280494","display_name":null,"funder_award_id":"639.023.309","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"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/G6702378207","display_name":null,"funder_award_id":"N00014-17-1-2782","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G743705257","display_name":null,"funder_award_id":"N00014-17-S-B010","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7788277423","display_name":"REactively Defending against Advanced Cybersecurity Threats","funder_award_id":"786669","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7880295628","display_name":null,"funder_award_id":"NWO 639.023.309","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8575633552","display_name":"TWC: Small: Hydra - Hybrid Defenses for Resilient Applications: Practical Approaches Towards Defense In Depth","funder_award_id":"1619211","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307904","display_name":"Oracle","ror":"https://ror.org/006c77m33"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338298","display_name":"Office of Naval Research Global","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2897725969.pdf","grobid_xml":"https://content.openalex.org/works/W2897725969.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W105131483","https://openalex.org/W254512945","https://openalex.org/W961099885","https://openalex.org/W1489781149","https://openalex.org/W1522250664","https://openalex.org/W1524336136","https://openalex.org/W1710734607","https://openalex.org/W1794159487","https://openalex.org/W1990717911","https://openalex.org/W1994742583","https://openalex.org/W2001723134","https://openalex.org/W2052897520","https://openalex.org/W2064391085","https://openalex.org/W2073944597","https://openalex.org/W2085427809","https://openalex.org/W2097444001","https://openalex.org/W2101512909","https://openalex.org/W2103816232","https://openalex.org/W2107558499","https://openalex.org/W2128345666","https://openalex.org/W2134633067","https://openalex.org/W2137530017","https://openalex.org/W2149918819","https://openalex.org/W2156858199","https://openalex.org/W2160468841","https://openalex.org/W2161913079","https://openalex.org/W2402520897","https://openalex.org/W2514974017","https://openalex.org/W2583316335","https://openalex.org/W2914503388","https://openalex.org/W4239035626","https://openalex.org/W4255061160","https://openalex.org/W6604241544","https://openalex.org/W6759111002"],"related_works":["https://openalex.org/W2103548574","https://openalex.org/W2064970225","https://openalex.org/W4297908618","https://openalex.org/W2765641823","https://openalex.org/W1535216022","https://openalex.org/W2020841721","https://openalex.org/W2001303892","https://openalex.org/W4400518515","https://openalex.org/W2353057441","https://openalex.org/W4285356836"],"abstract_inverted_index":{"Compile-time":[0],"specialization":[1],"and":[2,23,42,104,109,147,151],"feature":[3],"pruning":[4,158],"through":[5],"static":[6,102],"binary":[7,40,48],"rewriting":[8],"have":[9,89],"been":[10],"proposed":[11],"repeatedly":[12],"as":[13],"techniques":[14],"for":[15,24],"reducing":[16],"the":[17,26,65,72,84,123,139,145],"attack":[18,36],"surface":[19,37],"of":[20,128,149,159],"large":[21],"programs,":[22],"minimizing":[25],"trusted":[27],"computing":[28],"base.":[29],"We":[30,44,143],"propose":[31],"a":[32,47,55,76],"new":[33],"approach":[34,155],"to":[35,54,60,75,83],"reduction:":[38],"dynamic":[39],"lifting":[41],"recompilation.":[43],"present":[45],"BinRec,":[46,150],"recompilation":[49],"framework":[50,107],"that":[51,117,153],"lifts":[52,110],"binaries":[53,111],"compiler-level":[56],"intermediate":[57],"representation":[58],"(IR)":[59],"allow":[61],"complex":[62],"transformations":[63],"on":[64,101],"captured":[66],"code.":[67],"After":[68],"transformation,":[69],"BinRec":[70],"lowers":[71],"IR":[73],"back":[74],"\"recovered\"":[77],"binary,":[78,86],"which":[79,97,136],"is":[80,116],"semantically":[81],"equivalent":[82],"input":[85],"but":[87,131],"does":[88],"its":[90,129],"unnecessary":[91],"features":[92,138,161],"removed.":[93],"Unlike":[94],"existing":[95],"approaches,":[96],"are":[98],"mostly":[99],"based":[100],"analysis":[103],"rewriting,":[105],"our":[106,154],"analyzes":[108],"dynamically.":[112],"The":[113],"crucial":[114],"advantage":[115],"we":[118,132],"can":[119,133],"not":[120],"only":[121],"observe":[122],"full":[124],"program":[125,137],"including":[126],"all":[127],"dependencies,":[130],"also":[134],"determine":[135],"end-user":[140],"actually":[141],"uses.":[142],"evaluate":[144],"correctness":[146],"performance":[148],"show":[152],"enables":[156],"aggressive":[157],"unwanted":[160],"in":[162],"COTS":[163],"binaries.":[164]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2018-10-26T00:00:00"}