{"id":"https://openalex.org/W4394745153","doi":"https://doi.org/10.1145/3597503.3639128","title":"Towards Finding Accounting Errors in Smart Contracts","display_name":"Towards Finding Accounting Errors in Smart Contracts","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394745153","doi":"https://doi.org/10.1145/3597503.3639128"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3639128","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","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/A5040603227","display_name":"Brian Zhang","orcid":"https://orcid.org/0009-0003-1047-2247"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Brian Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, Indiana, USA"],"raw_orcid":"https://orcid.org/0009-0003-1047-2247","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, Indiana, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040603227"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":5.968,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.96088488,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"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.9997000098228455,"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.9997000098228455,"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/T11182","display_name":"Auction Theory and Applications","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.9671000242233276,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6454614996910095},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.6375617980957031},{"id":"https://openalex.org/keywords/accounting","display_name":"Accounting","score":0.48033514618873596},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4443686306476593},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.4429023861885071},{"id":"https://openalex.org/keywords/accounting-information-system","display_name":"Accounting information system","score":0.4388352334499359},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.19688725471496582},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.17966914176940918}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6454614996910095},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.6375617980957031},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.48033514618873596},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4443686306476593},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.4429023861885071},{"id":"https://openalex.org/C163867264","wikidata":"https://www.wikidata.org/wiki/Q4672792","display_name":"Accounting information system","level":2,"score":0.4388352334499359},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.19688725471496582},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.17966914176940918},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3639128","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.46000000834465027,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W2049376654","https://openalex.org/W2113709047","https://openalex.org/W2171962864","https://openalex.org/W2539190473","https://openalex.org/W2598139937","https://openalex.org/W2735411563","https://openalex.org/W2790202156","https://openalex.org/W2794825356","https://openalex.org/W2805827286","https://openalex.org/W2846896781","https://openalex.org/W2888928288","https://openalex.org/W2898569715","https://openalex.org/W2899272441","https://openalex.org/W2954151438","https://openalex.org/W2963610883","https://openalex.org/W2964144608","https://openalex.org/W2979467439","https://openalex.org/W2982383932","https://openalex.org/W2982433869","https://openalex.org/W3006491415","https://openalex.org/W3007045600","https://openalex.org/W3018033251","https://openalex.org/W3025529919","https://openalex.org/W3043576244","https://openalex.org/W3046701849","https://openalex.org/W3091620507","https://openalex.org/W3095721059","https://openalex.org/W3098450669","https://openalex.org/W3105735055","https://openalex.org/W3128660473","https://openalex.org/W3178523963","https://openalex.org/W3186717497","https://openalex.org/W4205689130","https://openalex.org/W4206568431","https://openalex.org/W4225881017","https://openalex.org/W4285060547","https://openalex.org/W4285490412","https://openalex.org/W4288057718","https://openalex.org/W4288286273","https://openalex.org/W4299301436","https://openalex.org/W4306784136","https://openalex.org/W4312206046","https://openalex.org/W4313563673","https://openalex.org/W4313563790","https://openalex.org/W4328028914","https://openalex.org/W4367016231","https://openalex.org/W6785354358"],"related_works":["https://openalex.org/W2404937507","https://openalex.org/W3121186197","https://openalex.org/W2373849942","https://openalex.org/W151161666","https://openalex.org/W2030757640","https://openalex.org/W2118407572","https://openalex.org/W2071653420","https://openalex.org/W2260291664","https://openalex.org/W1967231687","https://openalex.org/W3101499207"],"abstract_inverted_index":{"Bugs":[0],"in":[1,29,43,49,63,119,132,203,235],"smart":[2,30,120],"contracts":[3,31,121],"may":[4],"have":[5],"devastating":[6],"effects":[7],"as":[8,136,167],"they":[9],"tend":[10],"to":[11,16,60,96,102,230,253],"cause":[12],"financial":[13,173],"loss.":[14,256],"According":[15],"a":[17,113,126,133,178,195,232,236],"recent":[18,238],"study,":[19],"accounting":[20,90,190,201,212,248],"bugs":[21,28,46,62,91,202,213,249],"are":[22,33,47,58,67,92,214],"the":[23,50,93,103,186,211,243],"most":[24],"common":[25],"kind":[26],"of":[27,83,105,116,148,188,198,210,221,245],"that":[32,44,89,112,162,208],"beyond":[34,69],"automated":[35,70],"tools":[36,73],"during":[37],"pre-deployment":[38],"auditing.":[39],"The":[40,146],"reason":[41],"lies":[42],"these":[45,149,222],"usually":[48],"core":[51],"business":[52,108,117],"logic":[53,118],"and":[54,79,140,155,172,182],"hence":[55,176],"contract-specific.":[56],"They":[57],"analogous":[59],"functional":[61],"traditional":[64],"software,":[65],"which":[66],"largely":[68],"bug":[71],"finding":[72],"whose":[74],"effectiveness":[75],"hinges":[76],"on":[77,194],"uniform":[78],"machine":[80],"checkable":[81],"characteristics":[82],"bugs.":[84,191],"It":[85],"was":[86],"also":[87],"reported":[88],"second-most":[94],"difficult":[95],"find":[97],"through":[98],"manual":[99],"auditing,":[100],"due":[101],"need":[104],"understanding":[106],"underlying":[107],"models.":[109],"We":[110,175],"observe":[111],"large":[114,196,233],"part":[115],"can":[122,151],"be":[123,152],"modeled":[124],"by":[125,143,157],"few":[127],"primitive":[128],"operations":[129,150],"like":[130],"those":[131],"bank,":[134],"such":[135,166],"deposit,":[137],"withdraw,":[138],"loan,":[139],"pay-off,":[141],"or":[142],"their":[144],"combinations.":[145],"properties":[147],"clearly":[153],"defined":[154],"checked":[156],"an":[158],"abstract":[159],"type":[160,180,215,223],"system":[161,184,218],"models":[163],"high-order":[164],"information":[165],"token":[168],"units,":[169],"scaling":[170],"factors,":[171],"types.":[174],"develop":[177],"novel":[179],"propagation":[181],"checking":[183],"with":[185,250],"aim":[187],"identifying":[189],"Our":[192,217],"evaluation":[193],"set":[197],"57":[199],"existing":[200],"29":[204],"real-world":[205],"projects":[206],"shows":[207],"58%":[209],"errors.":[216,224],"catches":[219],"87.9%":[220],"In":[225],"addition,":[226],"applying":[227],"our":[228],"technique":[229],"auditing":[231,239],"project":[234],"very":[237],"contest":[240],"has":[241],"yielded":[242],"identification":[244],"6":[246],"zero-day":[247],"4":[251],"leading":[252],"direct":[254],"fund":[255]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}