Security
Keeping contracts, protocols, treasuries, and keys safe.
2318 talks
- Enhancing Smart Contract Security Across the Supply Chain
- Lido V2 Upgrade from a Security Perspective
- Building Secure Contracts: How to Fuzz Like a Pro
- DeFi Security 101 2023: Full Day, 14 July
- Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part II
- The Road to Becoming a Web3 Security Specialist
- How to Hack a DeFi Protocol
- Getting Started in Smart Contract Security
- Testing Your Code on Arbitrary States (aka Formal Verification)
- DeFi Invariants: Examples and Challenges
- Can Code Be Trusted?
- Building Safe Contracts
- Alex Mashinsky Arrested, Multichain's Controversy Unravels
- Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part I
- Protecting Contract Upgradeability Through Sound Proxy Pattern Usage
- Capture-the-Flag with Four Beginner Challenges on Ethereum Smart Contract Security
- Safe and Robust Smart Contracts in INK | #Workshop Ethereum Brasil + Aleph Zero (EN)
- Episode 284 - Using Formal Verification on ZK Systems with Jon Stephens
- Circuit Breakers: Is ERC-7265 the Solution dApps Were Waiting For? - Ep. 515
- [BUIDL Asia 2023] Price Manipulation of Tokens in DeFi - TWAPs vs Oracles by Mudit Gupta
- Testing Best Practices in Foundry Projects
- Unlocking DeFi for risk-averse participants
- Risk mitigation strategies for node validators
- Top Hacks since EthCC ’22: what did we learn?