Michael George, Director of Product at Certora – Formal Verification with the Certora Prover

Michael Lewellen, Head of Solutions Architecture, OpenZeppelin – Securely Scaling Decentralized Governance

Mitchell Amador, CEO of Immunefi – Security Incentives: From Six Figures to Billions in DeFi Bug Bounties

Modeling State Transitions to Find Unique Bugs

Money Ain't a Thang (When It's Gone): How to Find Attackers and Improve Your Security Posture | Heidi Wilder (Coinbase)

Move Security Workshop | Wolfgang Grieskamp & David Wolinsky (Aptos)