Second DeFi Security Summit

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

Riad Wahby, CEO, Cubist & Assistant Professor, Carnegie Mellon University – No Silver Bullet: A brief survey of key management technology