A Systematic Literature Review on Smart Contracts Security

12/09/2022
by   Harry Virani, et al.
0

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without the need for an intermediary or additional delay. They can also automate a process so that the following action is executed when circumstances are satisfied. This study seeks to pinpoint the most significant weaknesses in smart contracts from the viewpoints of their internal workings and software security flaws. These are then addressed using various techniques and tools used across the industry. Additionally, we looked into the limitations of the tools or analytical techniques about the found security flaws in the smart contracts.

READ FULL TEXT

page 3

page 6

research
09/25/2020

A formal model of Algorand smart contracts

We develop a formal model of Algorand stateless smart contracts (statele...
research
09/07/2018

Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains

The emerging blockchain technology supports decentralized computing para...
research
05/23/2019

Modeling Smart Contracts Activities: A Tensor Based Approach

Smart contracts are autonomous software executing predefined conditions....
research
11/21/2021

A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs

Formalization of mathematics is the process of digitizing mathematical k...
research
04/08/2021

Languages for Smart and Computable Contracts

Smart Contracts use computer technology to automate the performance of a...
research
07/09/2021

Why blockchain and smart contracts need semantic descriptions

We argue that there is a hierarchy of levels describing to that particul...
research
07/28/2020

Data Confidentiality In P2P Communication And Smart Contracts Of Blockchain In Industry 4.0

Increased collaborative production and dynamic selection of production p...

Please sign up or login with your details

Forgot password? Click here to reset