{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:54Z","timestamp":1760043474922,"version":"3.37.3"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072443"],"award-info":[{"award-number":["62072443"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,10]]},"DOI":"10.1109\/icnp59255.2023.10355573","type":"proceedings-article","created":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T19:18:50Z","timestamp":1703099930000},"page":"1-11","source":"Crossref","is-referenced-by-count":3,"title":["Formal Analysis of IBC Protocol"],"prefix":"10.1109","author":[{"given":"Qiuyang","family":"Wei","sequence":"first","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science,Beijing,China"}]},{"given":"Xufeng","family":"Zhao","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science,Beijing,China"}]},{"given":"Xue-Yang","family":"Zhu","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science,Beijing,China"}]},{"given":"Wenhui","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science,Beijing,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2018.095647"},{"key":"ref2","first-page":"21260","article-title":"Bitcoin: A peer-to-peer electronic cash system","author":"Nakamoto","year":"2008","journal-title":"Decentralized business review"},{"issue":"2014","key":"ref3","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum project yellow paper"},{"key":"ref4","article-title":"zkbridge: Trustless crosschain bridges made practical","author":"Xie","year":"2022","journal-title":"arXiv preprint"},{"key":"ref5","article-title":"OReilly Media, Inc","author":"Swan","year":"2015","journal-title":"Blockchain: Blueprint for a new economy"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2925010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978341"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.109378"},{"key":"ref9","article-title":"A protocol for interledger payments","volume-title":"URL","author":"Thomas","year":"2015"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.108488"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3471140"},{"key":"ref12","article-title":"The interblockchain communication protocol: An overview","author":"Goes","year":"2020","journal-title":"arXiv preprint"},{"volume-title":"Cosmos Market Capitalization","year":"2023","author":"Network","key":"ref13"},{"key":"ref14","article-title":"Sok: Not quite water under the bridge: Review of crosschain bridge hacks","author":"Lee","year":"2022","journal-title":"arXiv preprint"},{"volume-title":"P. Network. Honour, Exploit, and Code: How we lost 610M dollar and got it back","year":"2021","key":"ref15"},{"volume-title":"Wormhole. Wormhole Incident Report","year":"2022","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2002.1033032"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ECIE52353.2021.00063"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3491003.3491006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.108495"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-7584-6_15"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.14778\/3364324.3364326"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559520"},{"issue":"2327","key":"ref24","first-page":"4662","article-title":"Polkadot: Vision for a heterogeneous multi-chain frame-work","volume":"21","author":"Wood","year":"2016","journal-title":"White paper"},{"key":"ref25","first-page":"27","article-title":"Cosmos whitepaper","author":"Kwon","year":"2019","journal-title":"A Netw. Distrib. Ledgers"},{"volume-title":"Introduction to Cross-Consensus Message For-mat (XCM)","year":"2023","author":"Polkadot","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.38"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3052578"},{"key":"ref30","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-020-0538-7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-021-08296-4"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77448-6_9"},{"key":"ref34","article-title":"Formal specification and model checking of the tendermint blockchain synchronization protocol (short paper)","volume-title":"2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik","author":"Braithwaite","year":"2020"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC54727.2022.9805487"},{"volume-title":"Interchain Standards (ICS) for the Cosmos network & interchain ecosystem","year":"2023","author":"A.","key":"ref36"},{"volume-title":"Interblockchain Communication Protocol (IBC) implementation in Golang","year":"2023","author":"R.","key":"ref37"},{"volume-title":"IBC in Solidity","year":"2023","author":"K.","key":"ref38"},{"volume-title":"An overview of trees in blockchain technology: Merkle trees and merkle patricia tries","year":"2022","author":"de Oc\u00e1riz Borde","key":"ref39"},{"volume-title":"public code","year":"2023","author":"Michwqy","key":"ref40"},{"volume-title":"tlaplus. vscode-tlaplus","year":"2021","key":"ref41"},{"volume-title":"ICS 03\/04: Some questions about handshake","year":"2023","author":"Michwqy","key":"ref42"},{"volume-title":"ICS4: Unrecoverable Optimistic SendPacket","year":"2022","author":"A.","key":"ref43"},{"volume-title":"ICS04: Something confusing about function timeoutPacket and timeoutOnClose","year":"2023","author":"Michwqy","key":"ref44"},{"volume-title":"ICS04: some questions about function timeoutOnClose and timeoutPacket","year":"2023","key":"ref45"},{"volume-title":"ICS03\/ICS26: Some inconsistencies","year":"2023","key":"ref46"},{"volume-title":"8: some possible mistakes","year":"2023","key":"ref47"},{"volume-title":"-. Something confusing about ICS03, ICS18","year":"2023","key":"ref48"}],"event":{"name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2023,10,10]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2023,10,13]]}},"container-title":["2023 IEEE 31st International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10355566\/10355569\/10355573.pdf?arnumber=10355573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T20:21:58Z","timestamp":1705090918000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10355573\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,10]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/icnp59255.2023.10355573","relation":{},"subject":[],"published":{"date-parts":[[2023,10,10]]}}}