Security

Keeping contracts, protocols, treasuries, and keys safe.

2318 talks

• Security considerations when building Hooks in Uniswap V4
• Intro to the Lean Theorem Prover
• Finding Bugs: 42 Tips from 4 Security Researchers
• DeFi Security 101 2024: Full Day, 7 November
• Smart Contract Security Through Damn Vulnerable DeFi v4
• Secure development of smart contract systems
• Foundry-based Formal Verification
• 以太坊安全開發訓練營 - Week6: Common Vulnerabilities - 3: Reentrancy Attack
• Dimitris Pallis, Hakflow: Crypto Heist through Web2 | ETHSofia
• TokenBrice, The DeFi Collective: Genuine DeFi: The Uncelebrated, Yet Critical, Evaluation Process
• Krum Pashov, Pashov Audit Group: Finding the Best Security Audit | ETHSofia 2024
• What Is The Next Phase of Onchain Crypto? With Predicate
• The Current State of Audit Contests
• Overcoming Centralised Points of Failure Across the DeFi Stack
• Risky Business: Balancing Financial and Technical Risks in Stablecoin Protocols
• 以太坊安全開發訓練營 - Week5: Smart Contract Security Scanning Tools
• The Road to Venn Network Testnet
• PSE Lectures Ep 38 - Summary
• PSE Lectures Ep 30 - Divisor of g_m-g_n, continued
• PSE Lectures Ep 31 - Counting n-torsion points
• PSE Lectures Ep 36 - Efficiently computable definition of Weil pairing
• PSE Lectures Ep 37 - Miller's Algorithm
• PSE Lectures Ep 26 - (n-)Torsion points: the rational map [n] of multiplication by n
• PSE Lectures Ep 28 - Derivations on an elliptic curve