Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• Security Discussion 2
• V for Verification: A Unified Service for Secure Blockchains
• How Do You Even Write Secure Code Anyways
• How to Understand a Smart Contract Hack
• Smart Contract Governance
• What Should the Scope of the Web3 Audit Look Like?
• White Hat Hacking Discussion
• TWAP Oracle Manipulation Risks
• Pre-Crime and Library Upgrades: The Future of Omnichain Security
• Towards Verifiably Secure Governance
• Bridges Discussion
• 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