Automated Security Analysis of Ethereum Smart Contracts

Maria Criado
Feb 21, 2018 · 7 min read
Image for post
Image for post

Overview

The need for strong security guarantees

Writing secure smart contracts is not easy

contract SimpleBank { 
mapping(address => uint) balances;
function deposit(uint amount) {
balances[msg.sender] += amount;
}
function withdraw() {
msg.sender.call.value(balances[msg.sender])();
balances[msg.sender] = 0;
}
}

Is it possible to find security vulnerabilities in smart contracts automatically?

Image for post
Image for post

3 Techniques for automated analysis of smart contracts

Image for post
Image for post
Image for post
Image for post
Image for post
Image for post
Image for post
Image for post

What to use?

ChainSecurity

From the world of secure smart contracts

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch

Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore

Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store