XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges.

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

Published in: SIGSOFT FSE Companion (2024)

Keyphrases

automatic detection
behavior analysis
behavior recognition
neural network
computer vision
information systems
database
decision trees
image segmentation
database systems
multiresolution
classical logic
integrity checking
malicious behavior