DeFi Security Summit 2023

Paris, France · 14-16 Jul 2023

Hosted by DeFi Security Summit.

67 talks

• Cracking the Code: Uncovering DeFi Scams with Symbolic Execution
• Testing Your Code on Arbitrary States (aka Formal Verification)
• Wallets Panel
• Menpo: DeFi Incident Database
• Cairo 1.0: Differences and Security Considerations
• The Superpower of Code Search for Deployed Contracts
• Building a Strong Defense: Best Practices for Securing Web3 Protocols
• Mitigative Measures for Bridge Exploits
• Taking Compositionality Seriously
• Unchained Smart Contract Security
• Real-time Hack Detection & Prevention
• Security Principles for Designing Cross-Chain Messaging Protocols