Second DeFi Security Summit

Felix Wegener, Security Services Manager (EMEA), OpenZeppelin – 100% test coverage but 0% security?

Formal Verification Panel

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

Gary Thung, Software Engineer, Electric Capital – The power of code search for smart contracts

Hari Mulackal, Co-founder, Spearbit – EVM Design Mistakes

Herman Junge, Lead Security Technical Manager, MetaMask – Menpo – DeFi Incident Database