{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:33:13Z","timestamp":1784874793398,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3663529.3663809","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:43:13Z","timestamp":1720640593000},"page":"612-616","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5537-2483","authenticated-orcid":false,"given":"Ke","family":"Wang","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4137-619X","authenticated-orcid":false,"given":"Yue","family":"Li","sequence":"additional","affiliation":[{"name":"Taiyuan University of Technology, Taiyuan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7689-5698","authenticated-orcid":false,"given":"Che","family":"Wang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6760-5552","authenticated-orcid":false,"given":"Jianbo","family":"Gao","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6144-4815","authenticated-orcid":false,"given":"Zhi","family":"Guan","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5785-2912","authenticated-orcid":false,"given":"Zhong","family":"Chen","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Li.Finance attack incident. https:\/\/knownseclab.com\/news\/623844aa9e2e990066792367"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. PolyNetwork attack. https:\/\/research.kudelskisecurity.com\/2021\/08\/12\/the-poly-network-hack-explained\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. BSC bridge attack incident. https:\/\/www.nansen.ai\/research\/bnb-chains-cross-chain-bridge-exploit-explained"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. The Harmony bridge attack.. https:\/\/halborn.com\/explained-the-harmony-horizon-bridge-hack\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Meter.io attack.. https:\/\/certik.medium.com\/4-3-million-lost-to-another-bridge-hack-db9b028a3c28"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Multichain\u2019s exploit explained.. https:\/\/medium.com\/zengo\/without-permit-multichains-exploit-explained-8417e8c1639b"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Qubit Finance\u2019s Ethereum-BSC bridge attack.. https:\/\/certik.medium.com\/qubit-bridge-collapse-exploited-to-the-tune-of-80-million-a7ab9068e1a0"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Ronin Validators Compromised.. https:\/\/roninblockchain.substack.com\/p\/community-alert-ronin-validators"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. Crosschain Secuity Report. https:\/\/www.coindesk.com\/consensus-magazine\/2023\/06\/02\/bridge-exploits-cost-2b-in-2022-heres-how-they-could-have-been-averted\/"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 1521\u20131538","author":"Bentov Iddo","year":"2019","unstructured":"Iddo Bentov, Yan Ji, Fan Zhang, Lorenz Breidenbach, Philip Daian, and Ari Juels. 2019. Tesseract: Real-time cryptocurrency exchange using trusted hardware. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 1521\u20131538."},{"key":"e_1_3_2_1_11_1","unstructured":"ConsenSys Diligence. [n. d.]. Mythril(2018). https:\/\/github.com\/ConsenSys\/mythril-classic"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_16_1","volume-title":"2021 IEEE Symposium on Security and Privacy (SP). 1215\u20131229","author":"Nguyen Tai D","year":"2021","unstructured":"Tai D Nguyen, Long H Pham, and Jun Sun. 2021. SGUARD: towards fixing vulnerable smart contracts automatically. In 2021 IEEE Symposium on Security and Privacy (SP). 1215\u20131229."},{"key":"e_1_3_2_1_17_1","volume-title":"Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.. In NDSS.","author":"Sendner Christoph","year":"2023","unstructured":"Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan K\u00f6nig, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, and Farinaz Koushanfar. 2023. Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.. In NDSS."},{"key":"e_1_3_2_1_18_1","volume-title":"2019 IEEE Symposium on Security and Privacy (SP). 193\u2013210","author":"Zamyatin Alexei","year":"2019","unstructured":"Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, and William Knottenbelt. 2019. Xclaim: Trustless, interoperable, cryptocurrency-backed assets. In 2019 IEEE Symposium on Security and Privacy (SP). 193\u2013210."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559520"}],"event":{"name":"FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering","location":"Porto de Galinhas Brazil","acronym":"FSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663529.3663809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:21Z","timestamp":1750290261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":19,"alternative-id":["10.1145\/3663529.3663809","10.1145\/3663529"],"URL":"https:\/\/doi.org\/10.1145\/3663529.3663809","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}