DeFi Security Summit

Or Dadosh, Co Founder & CEO, Ironblocks – The First 60 Minutes: How to Stop Hackers

Palina Tolmach, Verification Engineer, Runtime Verification – Towards Adoption of Symbolic Execution for DeFi Security

Peter Kacherginsky, Blockchain Threat Researcher, Coinbase – The State of DeFi Security

Picodes, Co-founder & CTO, Angle Labs – Assessing Risks for Stablecoin Protocols

Quentin Garchery, Protocol researcher, Morpho Labs – Formally verifying Morpho

Ren Crypto Fish, Engineer, Electric Capital – State of Audits