First Annual DeFi Security Summit John & Mooly – Opening

Formal Verification Panel

Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind)

From Description to Exploit AI Agents for Smarter Audits

From Fuzzing to Formal Verification

From Manipulation to Mitigation: Rethinking Oracle Security in 2025