Security
Keeping contracts, protocols, treasuries, and keys safe.
2318 talks
- Why crypto is not as safe as users think, with Ledger's CXO
- Formal Verification in the Ethereum Protocol: Current Status and Future Directions | Devcon SEA
- From Web2 Security With Love by Joe Dobson | Devcon SEA
- Vesselin Velichkov, Open Zeppelin: ZK Proofs for Blockchain Applications: an Auditor's Perspective
- C bindings for Constantine verkle-ipa by Richa | Devcon SEA
- Double entry point issues - From breaking Compound to Uniswap v4 by Jota Carpanelli | Devcon SEA
- Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks
- 以太坊安全開發訓練營 - Week7: Common Vulnerabilities - 4: Call & Delegate Call Vulnerability
- Top Hacks since Devcon VI: what did we learn? | Devcon SEA
- Ari Juels: Can AI Weaponize Blockchain Smart Contracts? - Chainlink. Ep. 574
- How I Audit
- How model checking can help build trust in the design of distributed protocols
- Defcon at Devcon: A table top experience | Devcon SEA
- Clear: a Formal Verification framework for smart contracts in Lean by Julian Sutherland | Devcon SEA
- 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