@misc{indiciae5a052e034ab4,
  title = {FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols},
  author = {Hongbo Wen and Hanzhi Liu and Jiaxin Song and Yanju Chen and Wenbo Guo and Yu Feng},
  year = {2024},
  doi = {10.1145/3658644.3690293},
  url = {https://arxiv.org/abs/2407.06348},
  note = {Source identifier: 2407.06348}
}