Review of Tools for Analyzing Security Vulnerabilities in Ethereum based Smart Contracts

10 Pages Posted: 21 Jan 2021

See all articles by Anishka Moona

Anishka Moona

Mukesh Patel School of Technology Management and Engineering, NMIMS (Deemed-to-be) University, Mumbai

Rejo Mathew

NMIMS (Deemed-to-be) University, Mumbai

Date Written: January 20, 2021

Abstract

One of the most promising features of blockchain technology are software programs; smart contracts. A smart contract is a digital agreement that allows a significant amount of cryptocurrency transactions and processes without the need of third parties. They are the fundamental component for any decentralized application and are irreplaceable. They are legally self-enforced lines of a computer program. This paper is motivated by financial losses that occurred due to known attacks such as DAO attack ($150M) , Parity Multi-Sig Wallet attack (30M USD) and integer underflow/overflow attack during 2016-2018. This paper provides a detailed study of the known security vulnerabilities and security analysis tools that are used to detect them. This review explores possible attack techniques along with presenting a systematic study of the tools such as Oyente, Smart Check, Securify, GASPER, ZEUS, MAIAN and F* Framework used to detect these vulnerabilities.

Keywords: Ethereum, Smart Contracts, Analysis, Attack Techniques, Tools, Detection, Security

Suggested Citation

Moona, Anishka and Mathew, Rejo, Review of Tools for Analyzing Security Vulnerabilities in Ethereum based Smart Contracts (January 20, 2021). ICICNIS 2020, Available at SSRN: https://ssrn.com/abstract=3769774 or http://dx.doi.org/10.2139/ssrn.3769774

Anishka Moona (Contact Author)

Mukesh Patel School of Technology Management and Engineering, NMIMS (Deemed-to-be) University, Mumbai ( email )

Rejo Mathew

NMIMS (Deemed-to-be) University, Mumbai ( email )

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Downloads
471
Abstract Views
2,178
rank
90,511
PlumX Metrics