[FSE'24] XGuard Detecting Inconsistency Behaviors of Crosschain Bridges

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