Security

Keeping contracts, protocols, treasuries, and keys safe.

2300 talks

• Securing your protocol with the Certora Prover
• Securing AI-Assisted DeFi Development with Formal Verification
• The $1.5B Problem: How Exchanges Can Build Safer Cold Storage Infrastructure on Ethereum
• Zero to Smart Contract Auditor in 1 Month
• How to Become a Smart Contract Auditor
• The harsh reality of being a CISO
• Episode 366 - Bringing ID Onchain with Self
• Challenges of Replicating Historical Exploits
• Migrating the coldest EOAs
• UnSafe: When web2 security undermines web3
• Troll, but Verify: Security Lessons from North Korean Job Candidates
• Best of both fuzzing and formal verification: introducing Bounded Model Checking
• SCI: Enhancing Web3 Security Through Smart Contract Verification
• Building Resilient DeFi: How Protocol Design Shapes User Protection and Performance
• Preventing Cascading Liquidations and Systemic Risks in DeFi
• Exploring Blockchain Security with Cyfrin
• Fraud Prevention in Crypto Payments
• Killing with Keyboards – How Your Digital Footprint Can Be Weaponized
• Personal opsec: Bling vs bland
• On the security challenges of L2 and L3 AppChains
• poqeth: Efficient, post-quantum signature verification on Ethereum
• So you wanna Post Quantum Ethereum
• Taking MPC to internet scale
• Coinbase's cb-mpc Open-Source Library