About this document
Foray: Attack Synthesis for DeFi Security by Lu Liu is a document available to read on EtoBox.
The document introduces Foray, a novel attack synthesis framework designed to address deep logical vulnerabilities in Decentralized Finance (DeFi) protocols. Foray significantly outperforms existing tools like Halmos and ItyFuzz by synthesizing 27 attacks from 34 benchmark incidents, while also uncovering ten zero-day vulnerabilities in the BNB chain. The framework utilizes a domain-specific language and a token flow graph to efficiently generate and complete attack sketches, demonstrating its effectiveness
- Author
- Lu Liu
- Language
- EN