Decompiler is a specialized type of reverse engineering tool extensively employed in
program analysis tasks, particularly in program comprehension and vulnerability detection …

Cross-chain bridges are widely used blockchain interoperability mechanisms. However,
several of these bridges have vulnerabilities that have caused 3.2 billion dollars in losses …

As the number of blockchain platforms continues to grow, the independence of these
networks poses challenges for transferring assets and information across chains. Cross …

Between 2021 and 2023, crypto assets valued at over\$ US2. 6 billion were stolen via
attacks on" bridges"--decentralized services designed to allow inter-blockchain exchange …

With the development of blockchain technology, the detection of smart contract
vulnerabilities is increasingly emphasized. However, when detecting vulnerabilities in inter …

Blockchain technology has attracted significant interest with the advent of Turingcomplete
smart contracts, which enable the autonomous execution of agreements without trusted …