XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges

Open Webpage

Ke Wang, Yue Li, Che Wang, Jianbo Gao, Zhi Guan, Zhong Chen

Published: 01 Jan 2024, Last Modified: 15 May 2025SIGSOFT FSE Companion 2024EveryoneRevisionsBibTeXCC BY-SA 4.0