Firewall implementation | Assaf Eli - Co-Creator Venn

Firewalling Decentralized Protocols | Assaf Eli (Ironblocks)

First Annual DeFi Security Summit John & Mooly – Opening

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

Formal Verification Panel

From Description to Exploit AI Agents for Smarter Audits