Review of automated vulnerability analysis of smart contracts on ethereum

H Rameder, M Di Angelo, G Salzer - Frontiers in Blockchain, 2022 - frontiersin.org
Programs on public blockchains often handle valuable assets, making them attractive
targets for attack. At the same time, it is challenging to design correct blockchain …

Blockchain verification and validation: Techniques, challenges, and research directions

D Marijan, C Lal - Computer Science Review, 2022 - Elsevier
As blockchain technology is gaining popularity in industry and society, solutions for
Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have …

Smart contract vulnerability detection based on a semantic code structure and a self-designed neural network

X Ren, Y Wu, J Li, D Hao, M Alam - Computers and Electrical Engineering, 2023 - Elsevier
Smart contracts are riddled with vulnerabilities due to flaws in programming languages and
the inexperience of developers, causing damage. Nonetheless, the current research on …

GasFuzzer: Fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities

I Ashraf, X Ma, B Jiang, WK Chan - IEEE Access, 2020 - ieeexplore.ieee.org
Ethereum is a kind of blockchain platform where developers may develop and run programs
called smart contracts. It inherently relies on gas consumption within a specified allowance …

Test-case generation for data flow testing of smart contracts based on improved genetic algorithm

S Ji, S Zhu, P Zhang, H Dong… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Smart contracts are commonly deployed for safety-critical applications, the quality assurance
of which has been a vital factor. Test cases are standard means to ensure the correctness of …

Pre-deployment Analysis of Smart Contracts--A Survey

S Munir, W Taha - ar** of testing smart contracts for blockchain applications
NP Imperius, AD Alahmar - IEEE Access, 2022 - ieeexplore.ieee.org
In the last few years, the technological future becoming apparent by the introduction of smart
contracts into mainstream technology, specifically in the development of Web3 and the …

Systematic review of ethereum smart contract security vulnerabilities, analysis methods and tools

H Rameder - 2021 - repositum.tuwien.at
Smart contracts deployed to the Ethereum blockchain hold billions of dollars worth of assets.
Ethereum currently represents the most widely used smart contract platform. It is the second …