{"id":"https://openalex.org/W4411523028","doi":"https://doi.org/10.1145/3728872","title":"Automated Attack Synthesis for Constant Product Market Makers","display_name":"Automated Attack Synthesis for Constant Product Market Makers","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523028","doi":"https://doi.org/10.1145/3728872"},"language":"en","primary_location":{"id":"doi:10.1145/3728872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728872","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/3728872","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102940569","display_name":"Sujin Han","orcid":"https://orcid.org/0000-0002-4361-9781"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sujin Han","raw_affiliation_strings":["KAIST, Daejeon, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0002-4361-9781","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112051489","display_name":"Jungwon Kim","orcid":"https://orcid.org/0009-0006-0394-3532"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jinseo Kim","raw_affiliation_strings":["KAIST, Daejeon, Republic of Korea"],"raw_orcid":"https://orcid.org/0009-0006-0394-3532","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101948265","display_name":"Sung-Ju Lee","orcid":"https://orcid.org/0000-0002-5518-2126"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sung-Ju Lee","raw_affiliation_strings":["KAIST, Daejeon, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0002-5518-2126","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059899443","display_name":"Insu Yun","orcid":"https://orcid.org/0000-0001-8931-2833"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Insu Yun","raw_affiliation_strings":["KAIST, Daejeon, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0001-8931-2833","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157485424"],"apc_list":null,"apc_paid":null,"fwci":2.0267,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87417371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"2","issue":"ISSTA","first_page":"47","last_page":"68"},"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.9988999962806702,"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.9988999962806702,"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.9399999976158142,"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/T11424","display_name":"Security and Verification in Computing","score":0.9287999868392944,"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/composability","display_name":"Composability","score":0.9617204666137695},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.761523425579071},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.7095893621444702},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6987208724021912},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6856580376625061},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.504381537437439},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3122977018356323},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.29987210035324097},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.16720300912857056}],"concepts":[{"id":"https://openalex.org/C2778814252","wikidata":"https://www.wikidata.org/wiki/Q5156715","display_name":"Composability","level":2,"score":0.9617204666137695},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.761523425579071},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.7095893621444702},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6987208724021912},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6856580376625061},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.504381537437439},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3122977018356323},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.29987210035324097},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.16720300912857056},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3728872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728872","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/3728872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728872","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":[{"id":"https://openalex.org/G3532950008","display_name":null,"funder_award_id":"RS-2022-NR119707, RS-2024-00337007","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2970809537","https://openalex.org/W2999378142","https://openalex.org/W3014684725","https://openalex.org/W3043576244","https://openalex.org/W3105187050","https://openalex.org/W3198478013","https://openalex.org/W4205689130","https://openalex.org/W4285060547","https://openalex.org/W4285490421","https://openalex.org/W4384155542","https://openalex.org/W4384155618","https://openalex.org/W4384302865","https://openalex.org/W4394745748","https://openalex.org/W4394769109","https://openalex.org/W4394769342","https://openalex.org/W4394769500","https://openalex.org/W4400582940","https://openalex.org/W4402457133","https://openalex.org/W6949519906"],"related_works":["https://openalex.org/W2383601311","https://openalex.org/W2388607015","https://openalex.org/W2542453320","https://openalex.org/W186132510","https://openalex.org/W2159423485","https://openalex.org/W1632855133","https://openalex.org/W2630947271","https://openalex.org/W1974408264","https://openalex.org/W17155033","https://openalex.org/W2484376704"],"abstract_inverted_index":{"Decentralized":[0,34],"Finance":[1],"(DeFi)":[2],"enables":[3],"many":[4],"novel":[5],"applications":[6],"that":[7,37,64,101,121,142,179,261],"were":[8],"impossible":[9],"in":[10,61,87,109,264,268],"traditional":[11],"finances.":[12],"However,":[13],"it":[14,171,184],"also":[15,227],"introduces":[16],"new":[17,259],"types":[18],"of":[19,23,48,82,91,104,250],"vulnerabilities.":[20],"An":[21],"example":[22],"such":[24,83,105,132],"vulnerabilities":[25,221],"is":[26],"a":[27,88,95,119,162],"composability":[28,56,125,138],"bug":[29],"between":[30],"token":[31,62],"contracts":[32,63,229,245],"and":[33,140,208,253,256],"Exchange":[35],"(DEX)":[36],"follows":[38],"the":[39,75,181,196,237,247,251],"Constant":[40],"Product":[41],"Market":[42],"Maker":[43],"(CPMM)":[44],"model.":[45],"This":[46],"type":[47],"bug,":[49,57],"which":[50],"we":[51,115,134,157,240],"refer":[52],"to":[53,176,188,218,223,243],"as":[54],"CPMM":[55,76,124,137],"originates":[58],"from":[59],"issues":[60],"make":[65],"them":[66,193],"incompatible":[67],"with":[68,161],"CPMMs,":[69],"thereby":[70],"endangering":[71],"other":[72],"tokens":[73],"within":[74],"ecosystem.":[77],"Since":[78],"2022,":[79],"23":[80],"exploits":[81,103,260],"kind":[84,106],"have":[85],"resulted":[86],"total":[89],"loss":[90],"2.2M":[92],"USD.":[93],"BlockSec,":[94],"smart":[96],"contract":[97],"auditing":[98],"company,":[99],"reported":[100],"138":[102],"occurred":[107],"just":[108],"February":[110],"2023.":[111],"In":[112,168,212],"this":[113,155],"paper,":[114],"propose":[116],"CPMMX":[117,159,200,215,242],",":[118],"tool":[120],"automatically":[122],"detects":[123],"bugs":[126,139,144],"across":[127],"entire":[128],"blockchains.":[129],"To":[130],"achieve":[131],"scalability,":[133],"first":[135,172],"formalized":[136],"found":[141],"these":[143,190],"can":[145,262],"be":[146],"induced":[147],"by":[148],"breaking":[149],"two":[150,205],"safety":[151],"invariants.":[152,182],"Based":[153],"on":[154,204,246],"finding,":[156],"designed":[158],"equipped":[160],"two-step":[163],"approach,":[164],"called":[165],"shallow-then-deep":[166],"search.":[167],"more":[169,220],"detail,":[170],"uses":[173,185],"shallow":[174],"search":[175,187],"find":[177],"transactions":[178],"break":[180],"Then,":[183],"deep":[186],"refine":[189],"transactions,":[191],"making":[192],"profitable":[194],"for":[195],"attacker.":[197],"We":[198],"evaluated":[199],"against":[201],"five":[202],"baselines":[203],"public":[206],"datasets":[207],"one":[209],"synthetic":[210],"dataset.":[211],"our":[213],"evaluation,":[214],"detected":[216],"2.5x":[217],"1.5x":[219],"compared":[222],"baseline":[224],"methods.":[225],"It":[226],"analyzed":[228],"significantly":[230],"faster,":[231],"achieving":[232],"higher":[233],"F1":[234],"scores":[235],"than":[236],"baselines.":[238],"Additionally,":[239],"applied":[241],"all":[244],"latest":[248],"blocks":[249],"Ethereum":[252],"Binance":[254],"networks":[255],"discovered":[257],"26":[258],"result":[263],"15.7K":[265],"USD":[266],"profit":[267],"total.":[269]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}