DeFi Security Summit 2022

Stanford, United States · 27-28 Aug 2022

Hosted by DeFi Security Summit.

44 talks

• Auditors Discussion, Sessions 3 & 4
• Billion Dollar Bugs (and How Watchdog Found Them)
• TWAP Oracles After the Merge
• Formal Verification with the Certora Prover
• Securing a Cross-Chain Bridge
• The Big Red Button: How to Plan and Design for Security Events
• Formal Verification of Foundry Tests
• The Butterfly Effect: How Simple Oversights Turn Into Smart Contract Nightmares
• Favorite DeFi Vulnerabilities
• Searching Outside the Streetlight: Capture-Recapture Estimators for DeFi Security Issues
• Security Incentives: From Six Figures to Billions in DeFi Bug Bounties
• Towards Verifiably Secure Governance