{"id":"https://openalex.org/W4407097651","doi":"https://doi.org/10.1109/tdsc.2025.3536803","title":"Secure Optimizations on Ethereum Bytecode Jump-Free Sequences","display_name":"Secure Optimizations on Ethereum Bytecode Jump-Free Sequences","publication_year":2025,"publication_date":"2025-02-03","ids":{"openalex":"https://openalex.org/W4407097651","doi":"https://doi.org/10.1109/tdsc.2025.3536803"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2025.3536803","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2025.3536803","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tdsc.2025.3536803","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091905437","display_name":"Elvira Albert","orcid":"https://orcid.org/0000-0003-0048-0705"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Elvira Albert","raw_affiliation_strings":["Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","Department of Computer Systems and Computing, Complutense University of Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0003-0048-0705","affiliations":[{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014510097","display_name":"Samir Genaim","orcid":"https://orcid.org/0000-0002-7176-1881"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Samir Genaim","raw_affiliation_strings":["Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","Department of Computer Systems and Computing, Complutense University of Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-7176-1881","affiliations":[{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053333126","display_name":"Daniel Kirchner","orcid":"https://orcid.org/0000-0001-9229-1148"},"institutions":[{"id":"https://openalex.org/I4405269892","display_name":"Ethereum Foundation","ror":"https://ror.org/05j1x9f71","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I4405269892"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Daniel Kirchner","raw_affiliation_strings":["Ethereum Foundation, Zug, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-9229-1148","affiliations":[{"raw_affiliation_string":"Ethereum Foundation, Zug, Switzerland","institution_ids":["https://openalex.org/I4405269892"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028123043","display_name":"Enrique Martin-Martin","orcid":"https://orcid.org/0000-0002-1664-018X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Enrique Martin-Martin","raw_affiliation_strings":["Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","Department of Computer Systems and Computing, Complutense University of Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-1664-018X","affiliations":[{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Department of Computer Systems and Computing, Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5096,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.8900032,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"22","issue":"4","first_page":"3676","last_page":"3691"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9855999946594238,"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/T11130","display_name":"Coding theory and cryptography","score":0.9855999946594238,"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/T11797","display_name":"graph theory and CDMA systems","score":0.9419000148773193,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9243000149726868,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/bytecode","display_name":"Bytecode","score":0.8209023475646973},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7783329486846924},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.5453630089759827},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.539165198802948},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.46771329641342163},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.33646902441978455},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24504351615905762},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.10216554999351501}],"concepts":[{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.8209023475646973},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7783329486846924},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.5453630089759827},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.539165198802948},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.46771329641342163},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33646902441978455},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24504351615905762},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.10216554999351501},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tdsc.2025.3536803","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2025.3536803","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tdsc.2025.3536803","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2025.3536803","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W437735858","https://openalex.org/W1553511155","https://openalex.org/W1852211073","https://openalex.org/W1981899763","https://openalex.org/W1988233180","https://openalex.org/W2023035194","https://openalex.org/W2042220347","https://openalex.org/W2160145830","https://openalex.org/W2769609281","https://openalex.org/W2784629571","https://openalex.org/W2805052744","https://openalex.org/W2885034081","https://openalex.org/W2911377854","https://openalex.org/W3016694020","https://openalex.org/W3042306937","https://openalex.org/W3096022843","https://openalex.org/W3117382689","https://openalex.org/W3167467401","https://openalex.org/W4200246909","https://openalex.org/W4225656807","https://openalex.org/W4225671692","https://openalex.org/W4239564128","https://openalex.org/W4289313229","https://openalex.org/W4378447648","https://openalex.org/W4384471383","https://openalex.org/W4399872410","https://openalex.org/W6633966774","https://openalex.org/W6637655436","https://openalex.org/W6677065881","https://openalex.org/W6746534331","https://openalex.org/W6777785452"],"related_works":["https://openalex.org/W1889284597","https://openalex.org/W2140009967","https://openalex.org/W20625830","https://openalex.org/W4379620208","https://openalex.org/W2041803215","https://openalex.org/W2965913753","https://openalex.org/W2100791882","https://openalex.org/W2011987478","https://openalex.org/W4312511395","https://openalex.org/W2248189341"],"abstract_inverted_index":{"Program":[0],"optimization":[1,16,49],"is":[2,17,22,53,63,81,143],"a":[3,23,102,147],"key":[4],"factor":[5],"for":[6,27,41],"green":[7],"software.":[8],"In":[9],"the":[10,13,43,46,69,74,77,88,110,178,185],"context":[11,90],"of":[12,50,71,76,112,119,124,140,180],"Ethereum":[14],"blockchain,":[15],"particularly":[18],"relevant":[19,84],"because":[20],"there":[21,37],"fee":[24],"to":[25,68,108,132,146,156,175,191],"pay":[26],"each":[28],"EVM":[29,51,113,120,141,193],"(Ethereum":[30],"Virtual":[31],"Machine)":[32],"instruction":[33],"executed":[34],"and":[35,189,198,210],"also":[36,152,190],"exist":[38],"bytecode-size":[39],"limitations":[40],"deploying":[42],"software":[44],"on":[45,116],"blockchain.":[47],"Still,":[48],"code":[52],"not":[54],"as":[55,58,79],"widely":[56],"spread":[57],"one":[59],"could":[60],"imagine.":[61],"This":[62,99],"at":[64],"least":[65],"partly":[66],"due":[67],"lack":[70],"trust":[72],"in":[73,87,91,200],"correctness":[75],"tools,":[78],"security":[80,111,179],"even":[82],"more":[83],"than":[85],"efficiency":[86],"blockchain":[89],"which":[92,201],"bugs":[93,205],"may":[94],"cause":[95],"huge":[96],"economical":[97],"losses.":[98],"article":[100],"develops":[101],"formal":[103],"verification":[104],"framework":[105,158],"using":[106],"Coq":[107],"ensure":[109],"optimizations":[114,163,182],"performed":[115,183],"jump-free":[117,138],"sequences":[118],"bytecode.":[121],"By":[122],"means":[123],"Coq\u2019s":[125],"theorem":[126],"proving":[127],"capabilities,":[128],"we":[129,202],"are":[130],"able":[131],"automatically":[133],"verify/certify":[134],"that":[135,159,164,206],"an":[136,154],"optimized":[137],"sequence":[139],"opcodes":[142],"semantically":[144],"equivalent":[145],"given":[148],"original":[149],"one.":[150],"We":[151,170],"present":[153],"extension":[155],"our":[157,173],"can":[160],"handle":[161],"inter-block":[162],"propagate":[165],"global":[166],"information":[167],"across":[168],"blocks.":[169],"have":[171,203,207],"applied":[172],"tool":[174],"successfully":[176],"prove":[177],"peephole":[181],"by":[184],"standard":[186],"Solidity":[187],"compiler,":[188],"existing":[192],"superoptimization":[194],"tools":[195],"(namely":[196],"GASOL":[197],"Superstack)":[199],"found":[204],"been":[208],"reported":[209],"fixed.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}