{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,25]],"date-time":"2025-12-25T05:56:14Z","timestamp":1766642174895,"version":"3.48.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T00:00:00Z","timestamp":1763424000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T00:00:00Z","timestamp":1763424000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,18]]},"DOI":"10.1109\/brains67003.2025.11302954","type":"proceedings-article","created":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T18:43:25Z","timestamp":1766601805000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking"],"prefix":"10.1109","author":[{"given":"Bruno","family":"Mateus","sequence":"first","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Augusto","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Belchior","sequence":"additional","affiliation":[{"name":"Blockdaemon\/INESC-ID,Lisboa,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Correia","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Bitcoin: A peer-to-peer electronic cash system","year":"2009","author":"Nakamoto","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30429-4_1"},{"article-title":"Sok: Cross-chain bridging architectural design flaws and mitigations","year":"2024","author":"Notland","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3696429"},{"author":"Augusto","key":"ref5","article-title":"Xchainwatcher: Monitoring and identifying attacks in cross-chain bridges"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1201\/9781420028379.axc"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3233\/ip-190154"},{"key":"ref8","article-title":"Secure Asset Transfer (SAT) Interoperability Architecture","author":"Hardjono","year":"2024","journal-title":"Internet Engineering Task Force, Internet-Draft draft-ietf-satp-architecture06"},{"key":"ref9","article-title":"Secure Asset Transfer Protocol (SATP) Core","author":"Hargreaves","year":"2024","journal-title":"Internet Engineering Task Force, Internet-Draft draft-ietf-satp-core-07"},{"key":"ref10","article-title":"Secure Asset Transfer Protocol (SATP) Gateway Crash Recovery Mechanism","author":"Belchior","year":"2025","journal-title":"Internet Engineering Task Force, Internet-Draft draft-belchior-satp-gateway-recovery-03"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2023.3336246"},{"article-title":"Crosschain Risk Framework","year":"2023","author":"Abebe","key":"ref12"},{"author":"Zhang","key":"ref13","article-title":"Sok: Security of cross-chain bridges: Attack surfaces, defenses, and open problems"},{"article-title":"Sok: Not quite water under the bridge: Review of cross-chain bridge hacks","author":"Lee","key":"ref14","doi-asserted-by":"crossref","DOI":"10.1109\/ICBC56567.2023.10174993"},{"author":"Belenkov","key":"ref15","article-title":"Sok: A review of cross-chain bridge hacks in 2023"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2350"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.21236\/ADA358945"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.21236\/ada453378"}],"event":{"name":"2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","start":{"date-parts":[[2025,11,18]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2025,11,21]]}},"container-title":["2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11302407\/11302901\/11302954.pdf?arnumber=11302954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,25]],"date-time":"2025-12-25T05:53:15Z","timestamp":1766641995000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11302954\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,18]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/brains67003.2025.11302954","relation":{},"subject":[],"published":{"date-parts":[[2025,11,18]]}}}