{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T07:00:23Z","timestamp":1782975623003,"version":"3.54.5"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,6,1]]},"DOI":"10.1109\/icbc67748.2026.11575540","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T19:34:25Z","timestamp":1782934465000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Equilibrium: Preventing Arbitrage Attacks in Optimistic Rollups"],"prefix":"10.1109","author":[{"given":"Margarita","family":"Capretto","sequence":"first","affiliation":[{"name":"IMDEA Software Institute Universidad Politécnica de Madrid,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mart\u00edn","family":"Ceresa","sequence":"additional","affiliation":[{"name":"Input Output,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hannes","family":"Kallwies","sequence":"additional","affiliation":[{"name":"Institute for Software Engineering and Programming Languages University of Lübeck,Lübeck,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61467-6_2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3419614.3423251"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3490486.3538336"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373829"},{"key":"ref5","article-title":"Arbitrum Foundation: Arbitrum DAO - Governance docs"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_8"},{"key":"ref7","article-title":"Balancer: Balancer documentation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78142-2_11"},{"key":"ref9","first-page":"368","article-title":"Mi-ChoCoq, a framework for certifying Tezos smart contracts","volume-title":"Proc. of the 1st Workshop on Formal Methods for Blockchains (FMBC\u201919).","volume":"12232","author":"Bernardo"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046759"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2013.03.003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3719027.3765187"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-82349-7_17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_9"},{"key":"ref16","article-title":"Coingeko: Automated Market Maker (AMM) market capitalization"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54994-7_23"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/sp40000.2020.00040"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-63958-0_19"},{"key":"ref20","article-title":"Camelot documentation","author":"DEX"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-47751-5_8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/edcc.2018.00036"},{"key":"ref23","volume-title":"Ethereum Foundation: Maximal extractable value (MEV)."},{"key":"ref24","volume-title":"Ethereum Foundation: Merkle Patricia Trie."},{"key":"ref25","volume-title":"Google for Developers: Google OR-Tools"},{"key":"ref26","volume-title":"Gurobi Optimization, LLC: Gurobi"},{"key":"ref27","article-title":"halo3mic: Arbitrum arbitrage full"},{"key":"ref28","article-title":"halo3mic: Arbitrum atomic arbitrage"},{"key":"ref29","first-page":"1353","article-title":"Arbitrum: Scalable, private smart contracts","volume-title":"Proc. of the 27th USENIX Conf. on Security Symposium (USENIX Security 18).","author":"Kalodner"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0_6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"ref32","first-page":"3295","article-title":"A large scale study of the ethereum arbitrage ecosystem","volume-title":"32nd USENIX Security Symposium (USENIX Security\u201923).","author":"McLaughlin"},{"key":"ref33","article-title":"Bitcoin: a peer-to-peer electronic cash system","author":"Nakamoto","year":"2009"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54994-7_22"},{"key":"ref35","volume-title":"Offchain Labs: DEX projects in Arbitrum."},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/sp40000.2020.00024"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833734"},{"key":"ref38","volume-title":"Ramses: Ramses documentation."},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64354-6_8"},{"key":"ref40","article-title":"Scilla: a Smart Contract IntermediateLevel LAnguage","author":"Sergey","year":"2018"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/sp40001.2021.00085"},{"key":"ref42","volume-title":"Smart contracts: Building blocks for digital markets. Extropy 16","author":"Szabo","year":"1996"},{"key":"ref43","article-title":"Uniswap: Uniswap v2 documentation"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3487553.3524201"},{"key":"ref45","article-title":"WebAssembly Working Group: WebAssembly"},{"key":"ref46","article-title":"Ethereum: A secure decentralised generalised transaction ledger","author":"Wood","year":"2014","journal-title":"Ethereum project yellow paper"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/sp40001.2021.00113"}],"event":{"name":"2026 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","location":"Brisbane, Australia","start":{"date-parts":[[2026,6,1]]},"end":{"date-parts":[[2026,6,5]]}},"container-title":["2026 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11575430\/11575431\/11575540.pdf?arnumber=11575540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:28:55Z","timestamp":1782970135000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11575540\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,1]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/icbc67748.2026.11575540","relation":{},"subject":[],"published":{"date-parts":[[2026,6,1]]}}}