Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo 0002, Yu Feng 0001. FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. In Bo Luo, Xiaojing Liao, Jun Xu 0024, Engin Kirda, David Lie, editors, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024. pages 1001-1015, ACM, 2024. [doi]
Abstract is missing.