Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• ZKPassport’s new Private FaceMatch
• DeFi Security 101 2025 - Web3 Operational Security 101
• Common DeFi Invariants Every Protocol Must Respect
• Adversarial ERC-4626: How Vault-Share Manipulation Still Bypasses Listing Screens in 2025
• How DeFi Builds (and Breaks) Itself
• Dealing With a Hundred Million Dollar Live Vulnerability
• Auditing with Machines: A Practical Exploration of AI-Augmented Security Work
• Solidity Optimizer Under the Hood
• Lessons Learned After ISO27001 / SOC2 Certification: Bridging DeFi Culture and Enterprise Standards
• Streamlining Security Audits with AuditHub - DeFi Security Summit 2025
• Modeling State Transitions to Find Unique Bugs
• Building the War Room Before the War: Proactive Incident Response for DeFi Protocols
• Beyond the Cron Job: Eliminating Single Points of Failure With Automation
• When Trust Gets Tricky: The State of TEE Security Today
• AI Won’t Replace Auditors, But It Will Replace the Lazy Ones
• The Cryptography behind zkTLS - Xiang Xie - zkTLS Day @ Devconnect 2025 (Buenos Aires)
• Episode 385 - Lattices, Folding, & Symphony with Binyi Chen
• Preventing Hacks with Security Rules Written in Solidity - odysseas
• Hardhat 3 is here: what's new and why you should use it - John Kane
• [trustless://eil] Kaan Uzdogan - Why Contract Verification Needs to Open Up
• Verifying LLM powered Code Transformations with Equivalence Checking - John Toman
• So, you think you can write an EVM decompiler? - Yannis Smaragdakis
• Formally Verifying YUL Level Static Analyses and Optimization with Coq
• How Type-Driven Development Can Turbocharge your Contract's Security - philogy