Advances in Automated Smart Contract Vulnerability

on YouTube ↗13m

" summary

Automated techniques for finding vulnerabilities in Ethereum smart contracts are presented, focusing on tools and approaches developed at ConsenSys Diligence. The talk covers static analysis, symbolic execution, and fuzzing methods applied to Solidity contracts to detect common bugs and security weaknesses.

AI-written summary · about

" chapters (7)

1. 0:00Start
2. 4:52Demo: WalletLibrary
3. 5:40Integer Overflow Detection
4. 6:38Demo: Beautychain
5. 8:09Customizing the analysis
6. 11:41Integration with Remix
7. 12:14Try our tools!

" related talks

• 01h 31mHow to find Solidity vulnerabilitiesScott Bigelow · HackMoney 2020
• 22mHow Decompilation Uncovers Smart Contract VulnerabilitiesNeville Grech · Web3 Summit 2025
• 20mLearning How to Build Secure Smart ContractsHarry Papacharissiou · SmartCon Developer 2021
• 10mHow to Understand a Smart Contract HackDaniel Von Fange · DeFi Security Summit 2022
• 51mA Deal with the Devil: Breaking Smart ContractsDavid Wong, Mason Hemmel · Black Hat Asia 2018
• 31mEthainter: A Smart Contract Security Analyzer for Composite VulnerabilitiesYannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Lexi Brent · SPLASH 2022
• 48mD1T2 - Smashing Ethereum Smart Contracts for Fun and ACTUAL ProfitBernhard Mueller · Hack In The Box Amsterdam 2018
• 20mLearning How to Build Secure Smart ContractsHarry Papacharissiou · Smart Contract Summit #1 2021