Security

Keeping contracts, protocols, treasuries, and keys safe.

2258 talks

• Incentivizing Defensive Technologies for Ethereum
• Can we formally verify implementations of cryptographic libraries like the c-kzg lib... | Devcon SEA
• Solo staking in the dark forest: a survival guide
• Fuzzing Zero-Knowledge Infrastructure
• Enhancing Ethereum P2P Network Security through Fuzzing
• Demystifying Smart Contract Security: Facts & Fallacies
• Proving liquidity of an AMM by Jochen Hoenicke | Devcon SEA
• Indistinguishability Obfuscation (iO)
• Protec and Attac: Programmatic Execution Layer Consensus Tests by danceratopz | Devcon SEA
• How to Audit Smart Contract Languages: Brief Intro
• What don't we know? Understanding Security Vulnerabilities in SNARKs
• Debug First, or Regret Later: an Arsenal of Tools can Build Solid Ethereum Foundations
• CuEVM: GPU-Accelerated EVM for Security and Beyond
• iO
• The Long Con: Pig Butchering, Drainers, and Job Scams by Luker | Devcon SEA
• VLSMs—analyzing faulty distributed systems
• Empowering a Safer Internet: community-driven scam reporting and prevention in Thailand"
• Ledger Key Ring Protocol
• Hardware Security: From Sand to Stone by Quintus Kilbourn | Devcon SEA
• hevm or: How I Learned to Stop Worrying and Love the Symbolic Execution
• The d/acc Vision: Balancing Progress and Protection
• Running Wargames to Prepare Protocol Teams for Incident Response
• Passkeys : the good, the bad, the ugly
• Finding Bugs: 42 Tips from 4 Security Researchers