@misc{indiciaead03788ce681,
  title = {DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis},
  author = {Wenkai Li and Xiaoqi Li and Yuqing Zhang and Zongwei Li},
  year = {2024},
  url = {https://arxiv.org/abs/2405.11035},
  note = {Source identifier: 2405.11035}
}