Yuhong Nan

FlowArk cuts data-flow analysis costs by over a quarter while boosting task completion rates, making it a game-changer for Android app security auditing.

LLMs can now audit cross-chain smart contracts with expert-level precision, achieving 95% coverage of vulnerable projects by explicitly mirroring human reasoning processes.

LLMs can now automatically validate smart contract vulnerabilities by generating and refining profit-driven exploits, significantly reducing the burden of manual verification.