Security

Keeping contracts, protocols, treasuries, and keys safe.

2318 talks

• Taking Compositionality Seriously
• DeFi Security Summit 2023: Day 2, 16 July
• Building a Strong Defense: Best Practices for Securing Web3 Protocols
• Bridges Panel
• Audits: Conventional vs Community Panel
• Towards Adoption of Symbolic Execution for DeFi Security
• Modern Smart Contract Design and Security Without Compromise
• Security Principles for Designing Cross-Chain Messaging Protocols
• Deployment Validation and the Introduction of the DVF Standard: Enhancing the Security and Accountability of Blockchain Projects
• Cracking the Code: Uncovering DeFi Scams with Symbolic Execution
• Zero Knowledge Security in DeFi and elsewhere
• Securing Web3 Through Proactive Threat Prevention
• Breaking Digital Asset Custody Solutions
• 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