Security

Keeping contracts, protocols, treasuries, and keys safe.

2318 talks

• Formal Verification of Foundry Tests
• Scribble in a Nutshell
• MakerDAO Smart Contract Safety: When Billions are at Stake
• Protocols Discussion, Session 1
• Billion Dollar Bugs (and How Watchdog Found Them)
• Favorite DeFi Vulnerabilities
• Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks
• Clear as Mud
• Breaking Down Bridge Security Models
• Searching Outside the Streetlight: Capture-Recapture Estimators for DeFi Security Issues
• Secure by Design
• TWAP Oracles After the Merge
• Formal Verification with the Certora Prover
• Securely Scaling Decentralized Governance
• Risk Management Approach to Security
• Auditors Discussion, Sessions 3 & 4
• Static Analysis for Zero-Knowledge Programming Languages
• Alpha for Auditors: The Vulnerabilities of Tomorrow
• Protocols Discussion, Session 2
• Breaking Bridges - An Incomplete Sampler of Bridges Hacks
• The Butterfly Effect: How Simple Oversights Turn Into Smart Contract Nightmares
• Securing a Cross-Chain Bridge
• Runtime Threat Detection and Automated Response
• Digital Signatures for web3 with Foteini Baldimtsi | a16z crypto research talks