{"id":"https://openalex.org/W6966734768","doi":"https://doi.org/10.4230/lipics.aft.2024.7","title":"DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance","display_name":"DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W6966734768","doi":"https://doi.org/10.4230/lipics.aft.2024.7"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:20943","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol316-aft2024/LIPIcs.AFT.2024.7/LIPIcs.AFT.2024.7.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"publishedVersion"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol316-aft2024/LIPIcs.AFT.2024.7/LIPIcs.AFT.2024.7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Gan, Rundong","orcid":null},"institutions":[{"id":"https://openalex.org/I79817857","display_name":"University of Guelph","ror":"https://ror.org/01r7awg59","country_code":"CA","type":"education","lineage":["https://openalex.org/I79817857"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Gan, Rundong","raw_affiliation_strings":["School of Computer Science, University of Guelph, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Guelph, Canada","institution_ids":["https://openalex.org/I79817857"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhou, Liyi","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"]},{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I4210139000","display_name":"Amgen (Switzerland)","ror":"https://ror.org/045wjte67","country_code":"CH","type":"company","lineage":["https://openalex.org/I1320553840","https://openalex.org/I4210139000"]}],"countries":["AU","CH","US"],"is_corresponding":false,"raw_author_name":"Zhou, Liyi","raw_affiliation_strings":["The University of Sydney, Australia","UC Berkeley RDI, CA, USA","Decentralized Intelligence AG, Zug, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]},{"raw_affiliation_string":"UC Berkeley RDI, CA, USA","institution_ids":["https://openalex.org/I134446601"]},{"raw_affiliation_string":"Decentralized Intelligence AG, Zug, Switzerland","institution_ids":["https://openalex.org/I4210139000"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wang, Le","orcid":"https://orcid.org/0000-0002-4939-1642"},"institutions":[{"id":"https://openalex.org/I79817857","display_name":"University of Guelph","ror":"https://ror.org/01r7awg59","country_code":"CA","type":"education","lineage":["https://openalex.org/I79817857"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Wang, Le","raw_affiliation_strings":["School of Computer Science, University of Guelph, Canada"],"raw_orcid":"https://orcid.org/0000-0002-4939-1642","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Guelph, Canada","institution_ids":["https://openalex.org/I79817857"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qin, Kaihua","orcid":null},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210139000","display_name":"Amgen (Switzerland)","ror":"https://ror.org/045wjte67","country_code":"CH","type":"company","lineage":["https://openalex.org/I1320553840","https://openalex.org/I4210139000"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Qin, Kaihua","raw_affiliation_strings":["Yale University, New Haven, CT, USA","UC Berkeley RDI, CA, USA","Decentralized Intelligence AG, Zug, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"UC Berkeley RDI, CA, USA","institution_ids":["https://openalex.org/I134446601"]},{"raw_affiliation_string":"Decentralized Intelligence AG, Zug, Switzerland","institution_ids":["https://openalex.org/I4210139000"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lin, Xiaodong","orcid":"https://orcid.org/0000-0001-8916-6645"},"institutions":[{"id":"https://openalex.org/I79817857","display_name":"University of Guelph","ror":"https://ror.org/01r7awg59","country_code":"CA","type":"education","lineage":["https://openalex.org/I79817857"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Lin, Xiaodong","raw_affiliation_strings":["School of Computer Science, University of Guelph, Canada"],"raw_orcid":"https://orcid.org/0000-0001-8916-6645","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Guelph, Canada","institution_ids":["https://openalex.org/I79817857"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79817857"],"apc_list":null,"apc_paid":null,"fwci":1.492,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.88941416,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.5735999941825867,"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.5735999941825867,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.030300000682473183,"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/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.023099999874830246,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.699999988079071},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.676800012588501},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5669999718666077},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.4772000014781952},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4708000123500824},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4422000050544739},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.34709998965263367},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.3434999883174896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7519999742507935},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.699999988079071},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.676800012588501},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5669999718666077},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4772000014781952},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4708000123500824},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4422000050544739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.350600004196167},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.34709998965263367},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.3434999883174896},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3244999945163727},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.3190000057220459},{"id":"https://openalex.org/C2776007630","wikidata":"https://www.wikidata.org/wiki/Q2798912","display_name":"Accountability","level":2,"score":0.2827000021934509},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2752000093460083},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.2603999972343445},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.2547000050544739},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:20943","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol316-aft2024/LIPIcs.AFT.2024.7/LIPIcs.AFT.2024.7.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"publishedVersion"},{"id":"doi:10.4230/lipics.aft.2024.7","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.aft.2024.7","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:20943","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol316-aft2024/LIPIcs.AFT.2024.7/LIPIcs.AFT.2024.7.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"publishedVersion"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5290042161941528,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W6966734768.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Decentralized":[0],"Finance":[1],"(DeFi)":[2],"has":[3],"witnessed":[4],"a":[5,95],"monumental":[6],"surge,":[7],"reaching":[8],"53.039":[9],"billion":[10],"USD":[11],"in":[12,163],"total":[13],"value":[14],"locked.":[15],"As":[16],"this":[17],"sector":[18],"continues":[19],"to":[20,44,70,85,159],"expand,":[21],"ensuring":[22],"the":[23,41,55,58,138,141,144,148],"reliability":[24],"of":[25,104,168],"DeFi":[26],"smart":[27,46,91],"contracts":[28],"becomes":[29],"increasingly":[30],"crucial.":[31],"While":[32],"some":[33],"users":[34],"are":[35,68,131],"adept":[36],"at":[37],"reading":[38],"code":[39,60],"or":[40,72],"compiled":[42],"bytecode":[43],"understand":[45],"contracts,":[47],"many":[48],"rely":[49],"on":[50,172],"documentation.":[51,149],"Therefore,":[52],"discrepancies":[53,67],"between":[54,88,143],"documentation":[56,89],"and":[57,90,110,122,147,170],"deployed":[59],"can":[61],"pose":[62],"significant":[63],"risks,":[64],"whether":[65],"these":[66,77],"due":[69],"errors":[71],"intentional":[73],"fraud.":[74],"To":[75],"tackle":[76],"challenges,":[78],"we":[79],"developed":[80],"DeFiAligner,":[81],"an":[82],"end-to-end":[83],"system":[84],"identify":[86],"inconsistencies":[87],"contracts.":[92],"DeFiAligner":[93],"incorporates":[94],"symbolic":[96,116,145],"execution":[97,102],"tool,":[98],"SEVM,":[99],"which":[100],"explores":[101],"paths":[103],"on-chain":[105],"binary":[106],"code,":[107],"recording":[108],"memory":[109],"stack":[111],"states.":[112],"It":[113],"automatically":[114],"generates":[115],"expressions":[117,146],"for":[118],"token":[119],"balance":[120],"changes":[121],"branch":[123],"conditions,":[124],"which,":[125],"along":[126],"with":[127],"related":[128],"project":[129],"documents,":[130],"processed":[132],"by":[133],"LLMs.":[134],"Using":[135],"structured":[136],"prompts,":[137],"LLMs":[139],"evaluate":[140],"alignment":[142],"Our":[150],"tests":[151],"across":[152],"three":[153],"distinct":[154],"scenarios":[155],"demonstrate":[156],"DeFiAligner\u2019s":[157],"capability":[158],"automate":[160],"inconsistency":[161],"detection":[162],"DeFi,":[164],"achieving":[165],"recall":[166],"rates":[167],"92%":[169],"90%":[171],"two":[173],"public":[174],"datasets":[175],"respectively.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}