Risky Contracts: Breaking and Fixing Smart Contracts

Author(s):

Davi, Lucas

Name of Event:

AMSEC Workshop on System Security

Location:

Amsterdam

Date:

25.10.2019

Abstract

Smart contracts are computer programs that execute on the blockchain, receive and send transactions, and maintain a balance of cryptocurrency. In the recent past, we have witnessed a variety of attacks against smart contracts with cryptocurrency loses up to 50 million US Dollars. These attacks were possible due to errors in the smart contract logic. To tackle such attacks, a large number of mitigation technologies have been proposed. In this talk, we provide an overview of static and dynamic analysis techniques to tackle smart contract errors.