{"id":"https://openalex.org/W3212177851","doi":"https://doi.org/10.1145/3460860","title":"An Extended Account of Trace-relating Compiler Correctness and Secure Compilation","display_name":"An Extended Account of Trace-relating Compiler Correctness and Secure Compilation","publication_year":2021,"publication_date":"2021-11-10","ids":{"openalex":"https://openalex.org/W3212177851","doi":"https://doi.org/10.1145/3460860","mag":"3212177851"},"language":"en","primary_location":{"id":"doi:10.1145/3460860","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460860","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460860","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3460860","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108022429","display_name":"Carmine Abate","orcid":"https://orcid.org/0000-0001-8562-8750"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Carmine Abate","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048291994","display_name":"Roberto Blanco","orcid":"https://orcid.org/0000-0002-6071-9426"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Roberto Blanco","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026036782","display_name":"\u015etefan Ciob\u00e2c\u0103","orcid":"https://orcid.org/0009-0000-4082-570X"},"institutions":[{"id":"https://openalex.org/I138164181","display_name":"Alexandru Ioan Cuza University","ror":"https://ror.org/022kvet57","country_code":"RO","type":"education","lineage":["https://openalex.org/I138164181"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"\u015etefan Ciob\u00e2c\u0103","raw_affiliation_strings":["Alexandru Ioan Cuza University Ia\u015fi, Ias\u015fi, Romania"],"affiliations":[{"raw_affiliation_string":"Alexandru Ioan Cuza University Ia\u015fi, Ias\u015fi, Romania","institution_ids":["https://openalex.org/I138164181"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082858146","display_name":"Adrien Durier","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Adrien Durier","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026719321","display_name":"Deepak Garg","orcid":"https://orcid.org/0000-0002-0888-3093"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Deepak Garg","raw_affiliation_strings":["Max Planck Institute for Software Systems, Saarbr\u00fccken, Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106466226","display_name":"C\u0103t\u0103lin Hri\u0163cu","orcid":"https://orcid.org/0000-0001-8919-8081"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"C\u0103t\u0103lin Hri\u0163cu","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023276491","display_name":"Marco Patrignani","orcid":"https://orcid.org/0000-0003-3411-9678"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Patrignani","raw_affiliation_strings":["Stanford, USA and CISPA Helmholz Center for Information Security, Saarbr\u00fccken, Germany"],"affiliations":[{"raw_affiliation_string":"Stanford, USA and CISPA Helmholz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074606459","display_name":"\u00c9ric Tanter","orcid":"https://orcid.org/0000-0002-7359-890X"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"\u00c9ric Tanter","raw_affiliation_strings":["University of Chile, Chile"],"affiliations":[{"raw_affiliation_string":"University of Chile, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012125253","display_name":"J\u00e9r\u00e9my Thibault","orcid":"https://orcid.org/0009-0008-5112-3269"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00e9r\u00e9my Thibault","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5108022429"],"corresponding_institution_ids":["https://openalex.org/I4210096592"],"apc_list":null,"apc_paid":null,"fwci":1.6798,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.8724346,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"43","issue":"4","first_page":"1","last_page":"48"},"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.9998000264167786,"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.9998000264167786,"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.9914000034332275,"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/T10478","display_name":"Diamond and Carbon-based Materials Research","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.8846861720085144},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8763697147369385},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.8557416796684265},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8356507420539856},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7386823296546936},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5607765316963196},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5450118780136108},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5425245761871338},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4963389039039612},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4788798689842224},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33782216906547546},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12127384543418884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08488935232162476}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8846861720085144},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8763697147369385},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.8557416796684265},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8356507420539856},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7386823296546936},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5607765316963196},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5450118780136108},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5425245761871338},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4963389039039612},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4788798689842224},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33782216906547546},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12127384543418884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08488935232162476},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3460860","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460860","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460860","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:iris.unitn.it:11572/336391","is_oa":true,"landing_page_url":"http://hdl.handle.net/11572/336391","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3460860","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460860","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460860","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2637195115","display_name":null,"funder_award_id":"4-18-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2811237814","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G352791218","display_name":null,"funder_award_id":"(BMBF)","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4616477275","display_name":null,"funder_award_id":"SSITH/HOPE (FA8650-15-C-7558)","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4838704522","display_name":null,"funder_award_id":"in part","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5051192394","display_name":null,"funder_award_id":"FA8650-15-C","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5237733424","display_name":null,"funder_award_id":"FKZ: 13N1S0762","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G623747552","display_name":null,"funder_award_id":"CISPA","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G7225624288","display_name":null,"funder_award_id":"This work was","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"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"},{"id":"https://openalex.org/G8942201648","display_name":null,"funder_award_id":"N00014-18-1-2620","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3212177851.pdf","grobid_xml":"https://content.openalex.org/works/W3212177851.grobid-xml"},"referenced_works_count":84,"referenced_works":["https://openalex.org/W59640247","https://openalex.org/W188282463","https://openalex.org/W1593280365","https://openalex.org/W1680927362","https://openalex.org/W1920159904","https://openalex.org/W1940060540","https://openalex.org/W1963833875","https://openalex.org/W1966571454","https://openalex.org/W1969661839","https://openalex.org/W1977764760","https://openalex.org/W1978364288","https://openalex.org/W1988579293","https://openalex.org/W1998263113","https://openalex.org/W2003848320","https://openalex.org/W2014472261","https://openalex.org/W2014764321","https://openalex.org/W2023035194","https://openalex.org/W2032072432","https://openalex.org/W2033946387","https://openalex.org/W2036910349","https://openalex.org/W2042631106","https://openalex.org/W2043100293","https://openalex.org/W2064390891","https://openalex.org/W2065392090","https://openalex.org/W2067012475","https://openalex.org/W2079755135","https://openalex.org/W2113550426","https://openalex.org/W2116236474","https://openalex.org/W2117320004","https://openalex.org/W2121063006","https://openalex.org/W2122868537","https://openalex.org/W2134056477","https://openalex.org/W2148662736","https://openalex.org/W2165594098","https://openalex.org/W2167029843","https://openalex.org/W2173455755","https://openalex.org/W2293692853","https://openalex.org/W2294599249","https://openalex.org/W2295752850","https://openalex.org/W2346134553","https://openalex.org/W2410327772","https://openalex.org/W2514838807","https://openalex.org/W2520847236","https://openalex.org/W2534135179","https://openalex.org/W2760025382","https://openalex.org/W2765454105","https://openalex.org/W2785627758","https://openalex.org/W2792757320","https://openalex.org/W2798365728","https://openalex.org/W2886207505","https://openalex.org/W2889050595","https://openalex.org/W2898994781","https://openalex.org/W2900135310","https://openalex.org/W2900137615","https://openalex.org/W2903302024","https://openalex.org/W2910771310","https://openalex.org/W2912312736","https://openalex.org/W2912784218","https://openalex.org/W2935586798","https://openalex.org/W2954033207","https://openalex.org/W2963153477","https://openalex.org/W2963888572","https://openalex.org/W2964672981","https://openalex.org/W2973756861","https://openalex.org/W2995075587","https://openalex.org/W2995664728","https://openalex.org/W3000582877","https://openalex.org/W3003830046","https://openalex.org/W3004018778","https://openalex.org/W3004100205","https://openalex.org/W3004681883","https://openalex.org/W3015316918","https://openalex.org/W3022052771","https://openalex.org/W3116746739","https://openalex.org/W3124307800","https://openalex.org/W3175970536","https://openalex.org/W4242872895","https://openalex.org/W4245120671","https://openalex.org/W4245180599","https://openalex.org/W4251824284","https://openalex.org/W4252501555","https://openalex.org/W4254703195","https://openalex.org/W4298447450","https://openalex.org/W6758223339"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W2008149323"],"abstract_inverted_index":{"Compiler":[0],"correctness,":[1],"in":[2,20],"its":[3],"simplest":[4],"form,":[5],"is":[6,30,70,139,143,188],"defined":[7],"as":[8],"the":[9,12,17,21,26,33,44,55,60,67,72,75,149,153,164,183,199,233,246],"inclusion":[10],"of":[11,14,16,23,25,35,48,57,59,152,163,182,241,248],"set":[13,22,56,114],"traces":[15,24,40,58,101],"compiled":[18,200,250],"program":[19,155,173,251],"original":[27],"program.":[28],"This":[29],"equivalent":[31],"to":[32,65,116,147,190,192,238],"preservation":[34],"all":[36],"trace":[37,137,150,166,185],"properties.":[38],"Here,":[39],"collect,":[41],"for":[42,198,213],"instance,":[43],"externally":[45],"observable":[46],"events":[47],"each":[49],"execution.":[50],"However,":[51],"this":[52,87,120,136,205],"definition":[53,124],"requires":[54],"source":[61,98,154,178,184,219],"and":[62,99,107,180,220,225],"target":[63,100,165,196,221],"languages":[64,76],"be":[66],"same,":[68],"which":[69,96,244],"not":[71,140],"case":[73],"when":[74,81,127],"are":[77,83],"far":[78],"apart":[79],"or":[80],"observations":[82],"fine-grained.":[84],"To":[85],"overcome":[86],"issue,":[88],"we":[89,158,230],"study":[90],"a":[91,130,160,172,176,194,249],"generalized":[92,121],"compiler":[93,122,208],"correctness":[94,123,209],"definition,":[95],"uses":[97],"drawn":[102],"from":[103],"potentially":[104],"different":[105,218],"sets":[106],"connected":[108],"by":[109,169],"an":[110],"arbitrary":[111],"relation.":[112],"We":[113,202],"out":[115],"understand":[117],"what":[118],"guarantees":[119],"gives":[125],"us":[126],"instantiated":[128],"with":[129],"non-trivial":[131],"relation":[132,138],"on":[133,207],"traces.":[134],"When":[135],"equality,":[141],"it":[142],"no":[144],"longer":[145],"possible":[146],"preserve":[148],"properties":[151],"unchanged.":[156],"Instead,":[157],"provide":[159],"generic":[161],"characterization":[162],"property":[167,186,197],"ensured":[168],"correctly":[170],"compiling":[171],"that":[174,204,232],"satisfies":[175],"given":[177],"property,":[179],"dually,":[181],"one":[187],"required":[189],"show":[191,203,231],"obtain":[193],"certain":[195],"code.":[201,255],"view":[206],"can":[210],"naturally":[211],"account":[212],"undefined":[214],"behavior,":[215],"resource":[216],"exhaustion,":[217],"values,":[222],"side":[223],"channels,":[224],"various":[226],"abstraction":[227],"mismatches.":[228],"Finally,":[229],"same":[234],"generalization":[235],"also":[236],"applies":[237],"many":[239],"definitions":[240],"secure":[242],"compilation,":[243],"characterize":[245],"protection":[247],"linked":[252],"against":[253],"adversarial":[254]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}