Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- 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?
- MPC vs Account Abstraction: Better Together?
- "Faster,Better,Stronger,Safer" BLS + ZKPs = Better Web3 for all
- Ensuring Security : Formal Verification in Account abstraction
- WebAuthn Optimization: optimizing ECC sec256r1
- Multi-Verifiers as a Hedge Against Bridge Vulnerabilities
- Incident response at OpenZeppelin Contracts and how to be in the loop
- All raffles are scams: How to raffle the Ethereum way
- Building secure distributed Webhooks
- MetaMask Snaps and the future of Web3 Accounts
- Making learning Solidity as enjoyable as playing Diablo III
- Practical security vs theoretical security
- How to understand a hack
- Hyperproofs: Maintainable and Aggregatable Vector Commitment