TY - RPRT TI - FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols AU - Hongbo Wen AU - Hanzhi Liu AU - Jiaxin Song AU - Yanju Chen AU - Wenbo Guo AU - Yu Feng PY - 2024 DO - 10.1145/3658644.3690293 UR - https://arxiv.org/abs/2407.06348 ID - 2407.06348 ER -