{"id":"https://openalex.org/W2898569715","doi":"https://doi.org/10.1145/3276486","title":"MadMax: surviving out-of-gas conditions in Ethereum smart contracts","display_name":"MadMax: surviving out-of-gas conditions in Ethereum smart contracts","publication_year":2018,"publication_date":"2018-10-24","ids":{"openalex":"https://openalex.org/W2898569715","doi":"https://doi.org/10.1145/3276486","mag":"2898569715"},"language":"en","primary_location":{"id":"doi:10.1145/3276486","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276486","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276486","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3276486","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068595267","display_name":"Neville Grech","orcid":"https://orcid.org/0000-0002-6790-2872"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]},{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR","MT"],"is_corresponding":false,"raw_author_name":"Neville Grech","raw_affiliation_strings":["University of Athens, Greece / University of Malta, Malta"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Athens, Greece / University of Malta, Malta","institution_ids":["https://openalex.org/I197854408","https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080631873","display_name":"Michael Kong","orcid":null},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Michael Kong","raw_affiliation_strings":["University of Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002785722","display_name":"Anton Jurisevic","orcid":null},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Anton Jurisevic","raw_affiliation_strings":["University of Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014234359","display_name":"Lexi Brent","orcid":null},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Lexi Brent","raw_affiliation_strings":["University of Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084068260","display_name":"Bernhard Scholz","orcid":"https://orcid.org/0000-0002-7672-7359"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Bernhard Scholz","raw_affiliation_strings":["University of Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043949214","display_name":"Yannis Smaragdakis","orcid":"https://orcid.org/0000-0002-0499-0182"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Yannis Smaragdakis","raw_affiliation_strings":["University of Athens, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":81.3835,"has_fulltext":true,"cited_by_count":354,"citation_normalized_percentile":{"value":0.99906708,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"2","issue":"OOPSLA","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9986000061035156,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7234213352203369},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7156373262405396},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6630527973175049},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6553149223327637},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5808392763137817},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5428704023361206},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.4363260269165039},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.325661301612854},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2982691526412964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7234213352203369},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7156373262405396},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6630527973175049},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6553149223327637},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5808392763137817},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5428704023361206},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.4363260269165039},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.325661301612854},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2982691526412964}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3276486","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276486","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276486","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3276486","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276486","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276486","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1953887145","display_name":null,"funder_award_id":"2014\u20102020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4157282852","display_name":null,"funder_award_id":"ARC DP180104030","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G4445778832","display_name":null,"funder_award_id":"790340","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7356467175","display_name":"Taipan: a block-chain with democratic consensus and validated contracts","funder_award_id":"DP180104030","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G8332591845","display_name":null,"funder_award_id":"307334","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320315885","display_name":"Australian Government","ror":"https://ror.org/0314h5y94"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2898569715.pdf","grobid_xml":"https://content.openalex.org/works/W2898569715.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W10127936","https://openalex.org/W1536265389","https://openalex.org/W1993836075","https://openalex.org/W2014527868","https://openalex.org/W2071990711","https://openalex.org/W2080696000","https://openalex.org/W2132800423","https://openalex.org/W2140021378","https://openalex.org/W2151562310","https://openalex.org/W2293230997","https://openalex.org/W2493901872","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2578476968","https://openalex.org/W2596034521","https://openalex.org/W2598139937","https://openalex.org/W2741675276","https://openalex.org/W2769609281","https://openalex.org/W2778144710","https://openalex.org/W2787648539","https://openalex.org/W2790202156","https://openalex.org/W2889740224","https://openalex.org/W2898656313","https://openalex.org/W2950088007","https://openalex.org/W2952283559","https://openalex.org/W2964144608","https://openalex.org/W2970967309","https://openalex.org/W3031032747","https://openalex.org/W3104720502","https://openalex.org/W3151748982","https://openalex.org/W4236835455","https://openalex.org/W4247889999","https://openalex.org/W4253441452"],"related_works":["https://openalex.org/W4391375891","https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W4388131927","https://openalex.org/W4391241361","https://openalex.org/W4388187043","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4320715980","https://openalex.org/W3122124622"],"abstract_inverted_index":{"Ethereum":[0,37,192],"is":[1,46,50,120],"a":[2,29,51,66,84,136,153,210,223],"distributed":[3],"blockchain":[4,193],"platform,":[5],"serving":[6],"as":[7,42,44,107,168,218],"an":[8,22,36,59],"ecosystem":[9],"for":[10,102],"smart":[11,38,68,188],"contracts:":[12],"full-fledged":[13],"inter-communicating":[14],"programs":[15,25],"that":[16,54,229],"capture":[17],"the":[18,33,100,185,191,204,232],"transaction":[19],"logic":[20],"of":[21,35,75,94,187,203,215,222,225,231],"account.":[23],"Unlike":[24],"in":[26,65,113,190,194,201,244],"mainstream":[27],"languages,":[28],"gas":[30,45,49],"limit":[31],"restricts":[32],"execution":[34,40],"contract:":[39],"proceeds":[41],"long":[43],"available.":[47],"Thus,":[48],"valuable":[52],"resource":[53],"can":[55],"be":[56,111],"manipulated":[57],"by":[58],"attacker":[60],"to":[61,104,141,238],"provoke":[62],"unwanted":[63],"behavior":[64,82,109],"victim's":[67],"contract":[69,85],"(e.g.,":[70],"wasting":[71],"or":[72,87],"blocking":[73],"funds":[74],"said":[76],"victim).":[77],"Gas-focused":[78],"vulnerabilities":[79,97,145],"exploit":[80],"undesired":[81],"when":[83],"(directly":[86],"through":[88],"other":[89],"interacting":[90],"contracts)":[91],"runs":[92],"out":[93],"gas.":[95],"Such":[96],"are":[98],"among":[99],"hardest":[101],"programmers":[103],"protect":[105],"against,":[106],"out-of-gas":[108],"may":[110],"uncommon":[112],"non-attack":[114],"scenarios":[115],"and":[116,129,133,156,173,177,181,206],"reasoning":[117],"about":[118],"it":[119],"far":[121],"from":[122],"trivial.":[123],"In":[124],"this":[125],"paper,":[126],"we":[127,241],"classify":[128],"identify":[130],"gas-focused":[131,144],"vulnerabilities,":[132,239],"present":[134],"MadMax:":[135],"static":[137],"program":[138],"analysis":[139,162],"technique":[140],"automatically":[142],"detect":[143],"with":[146,209],"very":[147],"high":[148,179],"confidence.":[149],"Our":[150],"approach":[151],"combines":[152],"control-flow-analysis-based":[154],"decompiler":[155],"declarative":[157],"program-structure":[158],"queries.":[159],"The":[160],"combined":[161],"captures":[163],"high-level":[164],"domain-specific":[165],"concepts":[166],"(such":[167],"\"dynamic":[169],"data":[170],"structure":[171],"storage\"":[172],"\"safely":[174],"resumable":[175],"loops\")":[176],"achieves":[178],"precision":[180],"scalability.":[182],"MadMax":[183],"analyzes":[184],"entirety":[186],"contracts":[189,208,227],"just":[195],"10":[196],"hours":[197],"(with":[198],"decompilation":[199],"timeouts":[200],"8%":[202],"cases)":[205],"flags":[207],"(highly":[211],"volatile)":[212],"monetary":[213],"value":[214],"over":[216],"$2.8B":[217],"vulnerable.":[219],"Manual":[220],"inspection":[221],"sample":[224],"flagged":[226],"shows":[228],"81%":[230],"sampled":[233],"warnings":[234],"do":[235],"indeed":[236],"lead":[237],"which":[240],"report":[242],"on":[243],"our":[245],"experiment.":[246]},"counts_by_year":[{"year":2026,"cited_by_count":19},{"year":2025,"cited_by_count":38},{"year":2024,"cited_by_count":38},{"year":2023,"cited_by_count":49},{"year":2022,"cited_by_count":44},{"year":2021,"cited_by_count":62},{"year":2020,"cited_by_count":70},{"year":2019,"cited_by_count":30},{"year":2018,"cited_by_count":4}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}