{"id":"https://openalex.org/W4400582940","doi":"https://doi.org/10.1145/3660786","title":"Demystifying Invariant Effectiveness for Securing Smart Contracts","display_name":"Demystifying Invariant Effectiveness for Securing Smart Contracts","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400582940","doi":"https://doi.org/10.1145/3660786"},"language":"en","primary_location":{"id":"doi:10.1145/3660786","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660786","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3660786","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103243198","display_name":"Zhiyang Chen","orcid":"https://orcid.org/0000-0002-2315-397X"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zhiyang Chen","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0002-2315-397X","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100346528","display_name":"Ye Liu","orcid":"https://orcid.org/0000-0001-6709-3721"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ye Liu","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-6709-3721","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084186424","display_name":"Sidi Mohamed Beillahi","orcid":"https://orcid.org/0000-0001-6526-9295"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sidi Mohamed Beillahi","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0001-6526-9295","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100421812","display_name":"Yi Li","orcid":"https://orcid.org/0000-0003-4562-8208"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-4562-8208","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080879279","display_name":"Fan Long","orcid":"https://orcid.org/0000-0001-7973-1188"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Fan Long","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0001-7973-1188","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.343,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.98119326,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1","issue":"FSE","first_page":"1772","last_page":"1795"},"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.9998000264167786,"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.9998000264167786,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9412999749183655,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11838","display_name":"Crime, Illicit Activities, and Governance","score":0.9139000177383423,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5205160975456238},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4894484579563141},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.45478594303131104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35857105255126953},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1863299012184143},{"id":"https://openalex.org/keywords/mathematical-physics","display_name":"Mathematical physics","score":0.046801477670669556}],"concepts":[{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5205160975456238},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4894484579563141},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.45478594303131104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35857105255126953},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1863299012184143},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.046801477670669556}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3660786","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660786","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3660786","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660786","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2758225150","https://openalex.org/W2805827286","https://openalex.org/W2846896781","https://openalex.org/W2963610883","https://openalex.org/W2972498626","https://openalex.org/W2990403016","https://openalex.org/W3033309818","https://openalex.org/W3034136313","https://openalex.org/W3046493130","https://openalex.org/W3091620507","https://openalex.org/W3098450669","https://openalex.org/W3101591015","https://openalex.org/W3128660473","https://openalex.org/W3201673073","https://openalex.org/W4205689130","https://openalex.org/W4285490412","https://openalex.org/W4285490458","https://openalex.org/W4313547546","https://openalex.org/W4313563790","https://openalex.org/W4365799995","https://openalex.org/W4384155563","https://openalex.org/W4384302865","https://openalex.org/W4385152093","https://openalex.org/W4386470405","https://openalex.org/W6930264478"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Smart":[0],"contract":[1,98,203],"transactions":[2,16,37],"associated":[3],"with":[4,13,142],"security":[5,76],"attacks":[6],"often":[7],"exhibit":[8],"distinct":[9,117],"behavioral":[10],"patterns":[11],"compared":[12],"historical":[14,102],"benign":[15],"before":[17],"the":[18,39,41,45,120,127,138,153,159,169,183],"attacking":[19],"events.":[20],"While":[21],"many":[22],"runtime":[23],"monitoring":[24],"and":[25,34,75,187,206],"guarding":[26],"mechanisms":[27],"have":[28],"been":[29],"proposed":[30],"to":[31,115,163,180],"validate":[32],"invariants":[33,46,58,81,93,154],"stop":[35],"anomalous":[36],"on":[38,100,108,119,201],"fly,":[40],"empirical":[42],"effectiveness":[43],"of":[44,59,137,152,171,182],"used":[47],"remains":[48],"largely":[49],"unexplored.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54,84,167],"studied":[55,168],"23":[56,181],"prevalent":[57],"8":[60],"categories,":[61],"which":[62,89],"are":[63],"either":[64],"deployed":[65],"in":[66,177,210],"high-profile":[67],"protocols":[68],"or":[69],"endorsed":[70],"by":[71],"leading":[72],"auditing":[73],"firms":[74],"experts.":[77],"Using":[78],"these":[79],"well-established":[80],"as":[82,192,194],"templates,":[83],"developed":[85],"a":[86,96],"tool":[87],"Trace2Inv":[88,107,196,212],"dynamically":[90],"generates":[91],"new":[92],"customized":[94],"for":[95],"given":[97],"based":[99],"its":[101],"transaction":[103,207],"data.":[104],"We":[105],"evaluated":[106],"42":[109],"smart":[110,202],"contracts":[111],"that":[112,126,150],"fell":[113],"victim":[114],"27":[116,139,184],"exploits":[118,141,186],"Ethereum":[121],"blockchain.":[122],"Our":[123,146],"findings":[124],"reveal":[125],"most":[128,151],"effective":[129,156],"invariant":[130,174,204],"guard":[131],"alone":[132],"can":[133],"successfully":[134],"block":[135],"18":[136],"identified":[140],"minimal":[143],"gas":[144],"overhead.":[145],"analysis":[147],"also":[148,213],"shows":[149],"remain":[155],"even":[157],"when":[158],"experienced":[160],"attackers":[161],"attempt":[162],"bypass":[164],"them.":[165],"Additionally,":[166],"possibility":[170],"combining":[172],"multiple":[173],"guards,":[175],"resulting":[176],"blocking":[178],"up":[179],"benchmark":[185],"achieving":[188],"false":[189],"positive":[190],"rates":[191],"low":[193],"0.28%.":[195],"significantly":[197],"outperforms":[198],"state-of-the-art":[199],"works":[200],"mining":[205],"attack":[208],"detection":[209],"accuracy.":[211],"surprisingly":[214],"found":[215],"two":[216],"previously":[217],"unreported":[218],"exploit":[219],"transactions.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}