{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T10:03:30Z","timestamp":1763114610833,"version":"3.28.0"},"reference-count":73,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"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":[[2024,5,27]]},"DOI":"10.1109\/icbc59979.2024.10634444","type":"proceedings-article","created":{"date-parts":[[2024,8,21]],"date-time":"2024-08-21T22:53:39Z","timestamp":1724280819000},"page":"567-575","source":"Crossref","is-referenced-by-count":1,"title":["(In)Correct Smart Contract Specifications"],"prefix":"10.1109","author":[{"given":"Derek","family":"Sorensen","sequence":"first","affiliation":[{"name":"University of Cambridge,Dept. of Computer Science and Technology,Cambridge,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"20squares","year":"2023","key":"ref1"},{"volume-title":"Gauntlet","year":"2023","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07535-3_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.21428\/58320208.e9e6b7ce"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21428\/58320208.c9738e64"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3437992.3439934"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373829"},{"volume-title":"b. Dexter2 Specification","year":"2023","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2917517"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78142-2_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/BCCA53669.2021.9657040"},{"year":"2023","key":"ref12","article-title":"Global Web3 Security Report 2022"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00026-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/2.375178"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3485523"},{"journal-title":"Pancake Bunny Exploiter","year":"2021","key":"ref16"},{"year":"2021","key":"ref17","article-title":"Spartan Protocol Exploit"},{"article-title":"Improving front running resistance of x*y=k market makers - Decentralized exchanges","year":"2018","author":"Buterin","key":"ref18"},{"volume-title":"Dexter2 Specification (Mi-Cho- Coq)","year":"2023","author":"Cauderlier","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623302"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/947800.947802"},{"article-title":"Dex protocol kyberswap appears to lose 47 million in possible exploit","year":"2023","author":"Copeland","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00040"},{"journal-title":"Beanstalk Exploit","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-63958-0_6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/48529.48530"},{"article-title":"The Blackwell guide to the philosophy of computing and information","year":"2008","author":"Floridi","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3464967.3488589"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3558535.3559790"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.2021.02076"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3437378.3437879"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209165"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1010832.1010845"},{"article-title":"PancakeBunny tanks 96% following 200M flash loan exploit","year":"2021","author":"Haig","key":"ref34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"key":"ref36","article-title":"Behavior of Liquidity Providers in Decentralized Exchanges","author":"Heimbach","year":"2021","journal-title":"arXiv:2105.13822"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"volume-title":"BUNNY Exploit Report","year":"2021","author":"Igamberdiev","key":"ref38"},{"journal-title":"Immunefi","article-title":"Dfx finance rounding error bugfix review","year":"2023","key":"ref39"},{"year":"2021","key":"ref40","article-title":"The Spartan Incident: Root Cause Analysis"},{"volume-title":"Dexter2 Specification (K Framework)","year":"2023","key":"ref41"},{"key":"ref42","article-title":"How automated market makers approach the thin market problem in cryptoeocnomic systems","author":"Kirste","year":"2023","journal-title":"arXiv preprint arXiv:2309.12818"},{"volume-title":"Designing a Token Economy: Incentives, Governance and Tokenomics","year":"2023","author":"Kivilo","key":"ref43"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211297"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808426"},{"article-title":"How Market Manipulation Led to a 100M Exploit on Solana DeFi Exchange Mango","year":"2022","author":"Malwa","key":"ref46"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236869"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2019.8763832"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3573105.3575685"},{"volume-title":"BUNNY Exploit Report","year":"2021","key":"ref50"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264591"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/BF00660887"},{"article-title":"Latest DeFi exploits show audits are no guarantee","year":"2023","author":"Peterson","key":"ref53"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3563768.3563960"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45510-8_2"},{"volume-title":"Mango Markets Exploiter.","key":"ref56"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC56567.2023.10174866"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.5195\/ledger.2023.294"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9020255"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s10699-019-09611-w"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"volume-title":"Erc-20 token standard.","year":"2023","author":"Vogelsteller","key":"ref63"},{"key":"ref64","article-title":"Foundations of cryptoeconomic systems","volume":"1","author":"Voshmgir","year":"2019"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2019.2938190"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/3570639"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/3570639"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC56567.2023.10174901"},{"article-title":"The theory of groups","year":"2013","author":"Zassenhaus","key":"ref71"},{"key":"ref72","article-title":"Formal specification of constant product (xy= k) market maker model and implementation","author":"Zhang","year":"2018","journal-title":"White paper"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179435"}],"event":{"name":"2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","start":{"date-parts":[[2024,5,27]]},"location":"Dublin, Ireland","end":{"date-parts":[[2024,5,31]]}},"container-title":["2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10634319\/10634334\/10634444.pdf?arnumber=10634444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T04:13:26Z","timestamp":1725250406000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10634444\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":73,"URL":"https:\/\/doi.org\/10.1109\/icbc59979.2024.10634444","relation":{},"subject":[],"published":{"date-parts":[[2024,5,27]]}}}