Testing & Fuzzing
Finding bugs automatically through fuzzing, invariant testing, coverage, and simulation against live state.
160 talks
- Towards Adoption of Symbolic Execution for DeFi Security
- 100% Test Coverage but 0% Security?
- Security Tools Panel
- Safe Upgrades, The Most Dangerous Game
- Enhancing Smart Contract Security Across the Supply Chain
- Building Secure Contracts: How to Fuzz Like a Pro
- DeFi Invariants: Examples and Challenges
- Can Code Be Trusted?
- Building Safe Contracts
- Testing Best Practices in Foundry Projects
- Journey into building security tools for Cairo
- Building secure contracts: Fuzzing like a pro
- ERCx, Fast Checking of ERC standards and Beyond
- Invariant Testing WETH with Foundry
- Securing Web3 with the Push of a Button / Andreea Buterchi
- Secure your Dapp or join the REKT list | Christopher von Hessert | ETHDam 2023
- Symbolic testing in Solidity using KEVM and Foundry - Andrei Văcaru - Runtime Verification, Inc.
- How to not get hacked and other security lessons learned | Riyaz Faizullabhoy & Nass Eddequiouaq
- Panel: Security
- Shortcuts to Better Dapp Development | Nenad Vitorovic, Tenderly | ETHTaipei 2023
- Practical Symbolic Execution for EVM | Palina Tolmach, MakerDAO | ETHTaipei 2023
- Workshop: Fuzzing: Like a Security Engineer | Trail of Bits | ETHTaipei 2023
- ZK9: Fuzzy Knowledge Fuzzing SNARK circuit primitives – Innokentii Sennovskii (Aztec Network)
- Killing ETH - Finding Consensus Issues on Layer 1