Security

Keeping contracts, protocols, treasuries, and keys safe.

2300 talks

• 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
• Guia para sobrevivir en cripto ‐ Pablo Sabbatella - ETHCon Argentina 2025
• 万亿美元安全倡议：将以太坊打造成文明级别基础设施的宏伟蓝图 - Devconnect 2025 | ETHPanda 译制
• Trillion Dollar Security Initiative
• Blind Signatures with Georg Fuchsbauer | a16z crypto Research Series
• Good Things Take Time: The Human Layer of Security
• Data Liberation and Adversarial Interop with TEE and OAuth3