Security
Keeping contracts, protocols, treasuries, and keys safe.
2258 talks
- Red-Teaming Crypto Wallet Operations
- Unconstrained Machines
- Auditing DeFi in the Era of IntraBlock Loans: Preparing for the Next Wave of Exploits
- Can Standards Really Make Blockchain More Secure?
- Scale Your DeFi Research with Static Analysis
- Understanding Math-Heavy Code
- Full Web3 Security Stack - A Blue Team Perspective
- Statically Safe: Proving Security with Semantic Queries
- Crypto Startups Say They Take Security Seriously… But Do They?
- Layered Defense at Work: The Protocol Upgrade Saved by the Last Security Measure in the Toolbox
- Concord: Automatically Checking EVM Bytecode Equivalence - DeFi Security Summit 2025
- Ethereum: Trillion Dollar Security
- Auditing ERC-4337 Paymasters: Little Code, Big Risk
- Locking Down Safe Smart Contract Deployments w/ Key Management Policies - DeFi Security Summit 2025
- Are We Creating More Blackhats Than Whitehats?
- ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs
- Workshop: Security Agents, Not Alerts:A New Metalanguage for Live Threat Detection in DeFi
- Beyond “Just Read the Code”: Auditing Strategies & Tactics
- Real-Time War Rooms: Building Proactive DeFi Security Operations Centers
- Transaction Simulation Spoofing (TSP): The Next Wave of Wallet Drains
- Shipping AI-Generated Code That Won't Hurt You (Much)
- War Room Chronicles: Stories, Scars, and Survival
- Security at Scale: Solving Audit Procurement for Builders
- AI-Powered Auditing: Hype, Reality, and the Future of Web3 Security