Jia-Qi Gao

Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts

This work proposes KASS (Knowledge-Augmented Attack Synthesis and Simulation), a multi-agent framework for executable smart contract exploit verification and produces structured attack plans that document exploitation flows, quantify potential asset losses, and serve as semantic false positive filters for static analysis tools.