{"id":"https://openalex.org/W3152829963","doi":"https://doi.org/10.1109/sp40001.2021.00113","title":"On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols","display_name":"On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols","publication_year":2021,"publication_date":"2021-05-01","ids":{"openalex":"https://openalex.org/W3152829963","doi":"https://doi.org/10.1109/sp40001.2021.00113","mag":"3152829963"},"language":"en","primary_location":{"id":"doi:10.1109/sp40001.2021.00113","doi":"https://doi.org/10.1109/sp40001.2021.00113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp40001.2021.00113","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2103.02228","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037118069","display_name":"Liyi Zhou","orcid":"https://orcid.org/0000-0002-2820-9872","observed_orcids":["https://orcid.org/0000-0002-2820-9872"]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Liyi Zhou","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047509636","display_name":"Kaihua Qin","orcid":"https://orcid.org/0000-0003-2190-3623","observed_orcids":["https://orcid.org/0000-0003-2190-3623"]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kaihua Qin","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011747084","display_name":"Antoine Cully","orcid":"https://orcid.org/0000-0002-3190-7073","observed_orcids":["https://orcid.org/0000-0002-3190-7073"]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antoine Cully","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068390911","display_name":"Benjamin Livshits","orcid":"https://orcid.org/0000-0002-4921-8452","observed_orcids":["https://orcid.org/0000-0002-4921-8452"]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Benjamin Livshits","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063253761","display_name":"Arthur Gervais","orcid":"https://orcid.org/0000-0002-3565-3410","observed_orcids":["https://orcid.org/0000-0002-3565-3410"]},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Arthur Gervais","raw_affiliation_strings":["Imperial College London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":14.5699,"has_fulltext":true,"cited_by_count":137,"citation_normalized_percentile":{"value":0.99412741,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"919","last_page":"936"},"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.9990000128746033,"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.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":9.999999747378752e-05,"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/decentralized-finance","display_name":"decentralized finance","score":0.8920000195503235},{"id":"https://openalex.org/keywords/defi-protocols","display_name":"DeFi protocols","score":0.6880000233650208},{"id":"https://openalex.org/keywords/blockchain-forks","display_name":"blockchain forks","score":0.6539999842643738},{"id":"https://openalex.org/keywords/ethereum","display_name":"Ethereum","score":0.42899999022483826},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6190000176429749}],"concepts":[{"id":"https://openalex.org/C195487862","wikidata":"https://www.wikidata.org/wiki/Q850210","display_name":"Revenue","level":2,"score":0.70189368724823},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6565219163894653},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6317726969718933},{"id":"https://openalex.org/C160623529","wikidata":"https://www.wikidata.org/wiki/Q273088","display_name":"Arbitrage","level":2,"score":0.525816798210144},{"id":"https://openalex.org/C181622380","wikidata":"https://www.wikidata.org/wiki/Q26911","display_name":"Profit (economics)","level":2,"score":0.45244070887565613},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.42901816964149475},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.3203541338443756},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.2917511761188507},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.2011110484600067},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.12798786163330078},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10001465678215027},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/sp40001.2021.00113","doi":"https://doi.org/10.1109/sp40001.2021.00113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp40001.2021.00113","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2103.02228","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.02228","pdf_url":"https://arxiv.org/pdf/2103.02228","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10182331","doi":null,"is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10182331/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In: 2021 IEEE Symposium on Security and Privacy (SP). (pp. pp. 919-936). IEEE: San Francisco, CA, USA. (2021)","raw_type":"Proceedings paper"},{"id":"doi:10.48550/arxiv.2103.02228","doi":"https://doi.org/10.48550/arxiv.2103.02228","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2103.02228","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2103.02228","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.02228","pdf_url":"https://arxiv.org/pdf/2103.02228","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3152829963.pdf","grobid_xml":"https://content.openalex.org/works/W3152829963.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W1480909796","https://openalex.org/W1561880747","https://openalex.org/W1677133548","https://openalex.org/W1907293129","https://openalex.org/W1985882632","https://openalex.org/W2057248704","https://openalex.org/W2058897176","https://openalex.org/W2074792936","https://openalex.org/W2091968063","https://openalex.org/W2102755248","https://openalex.org/W2105993618","https://openalex.org/W2164141517","https://openalex.org/W2186693638","https://openalex.org/W2227557434","https://openalex.org/W2536325433","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2614333644","https://openalex.org/W2620904645","https://openalex.org/W2766540688","https://openalex.org/W2790202156","https://openalex.org/W2794779440","https://openalex.org/W2805052744","https://openalex.org/W2805827286","https://openalex.org/W2846896781","https://openalex.org/W2888928288","https://openalex.org/W2889740224","https://openalex.org/W2898569715","https://openalex.org/W2900601813","https://openalex.org/W2911456131","https://openalex.org/W2951466927","https://openalex.org/W2966841017","https://openalex.org/W2982383932","https://openalex.org/W2985495886","https://openalex.org/W3008256642","https://openalex.org/W3016124762","https://openalex.org/W3037731558","https://openalex.org/W3045348795","https://openalex.org/W3138807513","https://openalex.org/W3155854917","https://openalex.org/W3173646233","https://openalex.org/W3211314335","https://openalex.org/W3215947504","https://openalex.org/W6686748917","https://openalex.org/W6749839489","https://openalex.org/W6761210204"],"related_works":["https://openalex.org/W6909003602","https://openalex.org/W7127316121","https://openalex.org/W6922363732","https://openalex.org/W4401091176","https://openalex.org/W7219445264","https://openalex.org/W7171361083","https://openalex.org/W3162209499","https://openalex.org/W6885036243","https://openalex.org/W3201161891","https://openalex.org/W3159942444"],"abstract_inverted_index":{"Decentralized":[0],"Finance":[1],"(DeFi)":[2],"is":[3],"a":[4,23,48,109,122,287,299,324,327],"blockchain-asset-enabled":[5],"finance":[6],"ecosystem":[7],"with":[8,99,160,326],"millions":[9],"of":[10,16,25,149,246,255,330],"daily":[11],"USD":[12],"transaction":[13,163,301],"volume,":[14],"billions":[15],"locked":[17,42],"up":[18,278],"USD,":[19],"as":[20,22,241,303],"well":[21,127],"plethora":[24],"newly":[26],"emerging":[27],"protocols":[28],"(for":[29],"lending,":[30],"staking,":[31],"and":[32,39,85,101,124,141,154,170,205,226,248,257,308],"exchanges).":[33],"Because":[34],"all":[35],"transactions,":[36],"user":[37],"balances,":[38],"total":[40],"value":[41,295],"in":[43,112],"DeFi":[44,64,79,105,118,223],"are":[45],"publicly":[46],"readable,":[47],"natural":[49],"question":[50],"that":[51,72,120,139,179,198,265,321],"arises":[52],"is:":[53],"how":[54],"can":[55,131,143],"we":[56,68,263,292,319],"automatically":[57,76],"craft":[58],"profitable":[59,78,135,300],"transactions":[60,119],"across":[61],"the":[62,86,96,161,182,230,237,244,253,266,273,294,315,334,342],"intertwined":[63],"platforms?In":[65],"this":[66,199],"paper,":[67],"investigate":[69],"two":[70],"methods":[71],"allow":[73],"us":[74],"to":[75,83,89,279,313],"create":[77,103],"trades,":[80],"one":[81,213],"well-suited":[82],"arbitrage":[84],"other":[87],"applicable":[88],"more":[90,133,209],"complicated":[91,134],"settings.":[92],"We":[93,137,176,251],"first":[94],"adopt":[95],"Bellman-Ford-Moore":[97],"algorithm":[98],"DeFiPoser-ARB":[100,115,140,256],"then":[102],"logical":[104],"protocol":[106,224],"models":[107],"for":[108,128,202],"theorem":[110],"prover":[111],"DeFiPoser-SMT.":[113],"While":[114],"focuses":[116],"on":[117,259,322],"form":[121],"cycle":[123],"performs":[125],"very":[126],"arbitrage,":[129],"DeFiPoser-SMT":[130,142,180,258],"detect":[132],"transactions.":[136],"estimate":[138],"generate":[144],"an":[145,337],"average":[146],"weekly":[147],"revenue":[148,164,210],"191.48":[150],"ETH":[151,156,167,172],"(76,592":[152],"USD)":[153,158,169,174],"72.44":[155],"(28,976":[157],"respectively,":[159],"highest":[162],"being":[165],"81.31":[166],"(32,524":[168],"22.40":[171],"(8,960":[173],"respectively.":[175],"further":[177],"show":[178,197,264],"finds":[181],"known":[183],"economic":[184],"bZx":[185],"attack":[186],"from":[187],"February":[188],"2020,":[189],"which":[190,298],"yields":[191],"0.48M":[192],"USD.":[193],"Our":[194,216],"forensic":[195],"investigations":[196],"opportunity":[200,339],"existed":[201],"69":[203],"days":[204],"could":[206],"have":[207],"yielded":[208],"if":[211,336],"exploited":[212],"day":[214],"earlier.":[215],"evaluation":[217],"spans":[218],"150":[219],"days,":[220],"given":[221],"96":[222],"actions,":[225],"25":[227],"assets.Looking":[228],"beyond":[229],"financial":[231],"gains":[232],"mentioned":[233],"above,":[234],"forks":[235],"deteriorate":[236],"blockchain":[238,260,335],"consensus":[239],"security,":[240],"they":[242],"increase":[243],"risks":[245],"double-spending":[247],"selfish":[249],"mining.":[250],"explore":[252],"implications":[254],"consensus.":[261],"Specifically,":[262],"trades":[267],"identified":[268],"by":[269,277,286],"our":[270],"tools":[271],"exceed":[272],"Ethereum":[274],"block":[275,343],"reward":[276],"874\u00d7.":[280],"Given":[281],"optimal":[282],"adversarial":[283],"strategies":[284],"provided":[285],"Markov":[288],"Decision":[289],"Process":[290],"(MDP),":[291],"quantify":[293],"threshold":[296],"at":[297],"qualifies":[302],"Miner":[304],"Extractable":[305],"Value":[306],"(MEV)":[307],"would":[309,332],"incentivize":[310],"MEV-aware":[311],"miners":[312],"fork":[314,333],"blockchain.":[316],"For":[317],"instance,":[318],"find":[320],"Ethereum,":[323],"miner":[325],"hash":[328],"rate":[329],"10%":[331],"MEV":[338],"exceeds":[340],"4\u00d7":[341],"reward.":[344]},"counts_by_year":[{"year":2026,"cited_by_count":20},{"year":2025,"cited_by_count":30},{"year":2024,"cited_by_count":22},{"year":2023,"cited_by_count":25},{"year":2022,"cited_by_count":28},{"year":2021,"cited_by_count":12}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2021-04-26T00:00:00"}