Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• Formal Verification Panel
• Stories from the Other Side of the Table: How Immunefi Is Fighting for You Behind the Scenes
• 100% Test Coverage but 0% Security?
• Honeypots: Hacker Traps on the Blockchain
• State of Audits
• Researchers and Auditors at the Core of the Development of a DeFi Protocol
• The State of DeFi Insurance 2023
• Rekt Pilled: What to Do When Your dApp Gets Pwned and How to Stay Kalm
• Onchain Oracle Design, Security Considerations, and Cost of Manipulation
• Automated Flash Loan Attack Synthesis
• Optimizing Code Without Getting REKT
• Menpo: DeFi Incident Database
• Assessing and Mitigating Risks in Stablecoin Protocols
• No Silver Bullet: A Brief Survey of Key Management Technology
• Reentrancy: Beyond the Basics
• Design Mistakes
• The First 60 Minutes: How to Stop Hackers
• Rugpull Contracts: Masquerading Code in Etherscan
• Using Threat Intelligence in Web3
• Formally Verifying Morpho
• Wallets Panel
• AI Panel
• Unchained Smart Contract Security
• Security Tools Panel