Firewall implementation | Assaf Eli - Co-Creator Venn

Firewalling Decentralized Protocols | Assaf Eli (Ironblocks)

First Annual DeFi Security Summit John & Mooly – Opening

Formal Verification Panel

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

Gal Sagie, CEO, Hypernative – New Web3 security paradigm – Detecting an attacker and not a vulnerability