@misc{indiciae51939370f5fc,
  title = {SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis},
  author = {Zeqin Liao and Yuhong Nan and Henglong Liang and Sicheng Hao and Juan Zhai and Jiajing Wu and Zibin Zheng},
  year = {2024},
  doi = {10.1145/3643738},
  url = {https://arxiv.org/abs/2406.15999},
  note = {Source identifier: 2406.15999}
}