TY  - RPRT
TI  - SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
AU  - Zeqin Liao
AU  - Yuhong Nan
AU  - Henglong Liang
AU  - Sicheng Hao
AU  - Juan Zhai
AU  - Jiajing Wu
AU  - Zibin Zheng
PY  - 2024
DO  - 10.1145/3643738
UR  - https://arxiv.org/abs/2406.15999
ID  - 2406.15999
ER  -