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

Gonçalo Sa, Co-Founder and Security Researcher, ConsenSys Diligence – Clear as Mud – How Compilers Look Like VMs

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

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

Hossam Mohamed, Senior Security Architect, Halborn – Breaking Digital Asset Custody Solutions

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs)