Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• Restaking Protocols: Exposing the Achilles' Heels
• Physical and Digital protection for crypto entrepreneurs
• From Chaos to confidence: Simulate and clear sign your transactions
• ZKVM Determinism That Lasts: From Audits to Continuous Verification
• LeMonolith, a personal Network HSM (pNHSM) for the Ethereum community
• You Deployed Your Project, Now What?
• 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