Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping

Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is essential to avoid financial losses. So, SCs must be checked to ensure the absence of errors. Hence, many studies addressed new methods and tools for zero-bug software in SCs. This paper conducted a systematic literature mapping identifying initiatives and tools to analyze SCs and how to deal with the identified vulnerabilities. Besides, this work identifies gaps that may lead to research topics for future work.

READ FULL TEXT
research
05/14/2021

A Survey of Security Vulnerabilities in Ethereum Smart Contracts

Ethereum Smart Contracts based on Blockchain Technology (BT)enables mone...
research
01/15/2023

Pre-deployment Analysis of Smart Contracts – A Survey

Smart contracts are programs that execute transactions involving indepen...
research
03/14/2020

Security Analysis of EOSIO Smart Contracts

The EOSIO blockchain, one of the representative Delegated Proof-of-Stake...
research
10/21/2022

An Empirical Study on Real Bug Fixes in Smart Contracts Projects

Blockchain uses cryptographic proof to replace trusted third parties to ...
research
11/02/2022

AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts

In the past few years, several attacks against the vulnerabilities of EO...
research
11/14/2020

Modelling Attacks in Blockchain Systems using Petri Nets

Blockchain technology has evolved through many changes and modifications...
research
05/27/2020

Certifying Findel Derivatives for Blockchain

Derivatives are a special type of financial contracts used to hedge risk...

Please sign up or login with your details

Forgot password? Click here to reset