{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:54:09Z","timestamp":1771516449167,"version":"3.50.1"},"reference-count":33,"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.10634430","type":"proceedings-article","created":{"date-parts":[[2024,8,21]],"date-time":"2024-08-21T22:53:39Z","timestamp":1724280819000},"page":"576-584","source":"Crossref","is-referenced-by-count":1,"title":["iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns"],"prefix":"10.1109","author":[{"given":"Yuki","family":"Nishida","sequence":"first","affiliation":[{"name":"Kyoto University,Kyoto,Japan"}]},{"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[{"name":"Kyoto University,Kyoto,Japan"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[{"name":"Kyoto University,Kyoto,Japan"}]}],"member":"263","reference":[{"issue":"9","key":"ref1","doi-asserted-by":"crossref","DOI":"10.5210\/fm.v2i9.548","article-title":"Formalizing and securing relationships on public networks","volume":"2","author":"Szabo","year":"1997","journal-title":"First Monday"},{"key":"ref2","volume-title":"Bitcoin: A peer-to-peer electronic cash system","author":"Nakamoto","year":"2008"},{"key":"ref3","volume-title":"Ethereum: A next-generation smart contract and decentralized application platform","author":"Buterin","year":"2014"},{"key":"ref4","volume-title":"Ethereum: A secure decentralised generalised transaction ledger BERLIN VERSION beacfbd","year":"2022"},{"key":"ref5","volume-title":"Tezos \u2014 a self-amending crypto-ledger","author":"Goodman","year":"2014"},{"key":"ref6","volume-title":"The 2023 crypto crime report","author":"Grauer","year":"2023"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/access.2022.3169902"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/sp40000.2020.00024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3485523"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3564699"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54994-7_28"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72013-1_14"},{"key":"ref14","volume-title":"Archetype. Completium","year":"2023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/blockchain50366.2020.00059"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3573105.3575685"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"ref18","volume-title":"Dexter flaw discovered; funds are safe","year":"2021"},{"key":"ref19","volume-title":"A technical description of the Dexter flaw","year":"2021"},{"key":"ref20","volume-title":"Michelson"},{"key":"ref21","volume-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_7"},{"key":"ref24","volume-title":"Solidity by example"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373829"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3437992.3439934"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_11"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23534-9_2"}],"event":{"name":"2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","location":"Dublin, Ireland","start":{"date-parts":[[2024,5,27]]},"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\/10634430.pdf?arnumber=10634430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T05:23:46Z","timestamp":1725341026000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10634430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icbc59979.2024.10634430","relation":{},"subject":[],"published":{"date-parts":[[2024,5,27]]}}}