DeepAI AI Chat
Log In Sign Up

A Systematic Literature Review on Smart Contracts Security

by   Harry Virani, et al.
University of Guelph

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.


page 3

page 6


A formal model of Algorand smart contracts

We develop a formal model of Algorand stateless smart contracts (statele...

Vulnerability Analysis of Smart Contracts

Blockchain platforms and smart contracts are vulnerable to security brea...

Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains

The emerging blockchain technology supports decentralized computing para...

Why blockchain and smart contracts need semantic descriptions

We argue that there is a hierarchy of levels describing to that particul...

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

Formalization of mathematics is the process of digitizing mathematical k...

Languages for Smart and Computable Contracts

Smart Contracts use computer technology to automate the performance of a...

zkay v0.2: Practical Data Privacy for Smart Contracts

Recent work introduces zkay, a system for specifying and enforcing data ...