Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Review of automated vulnerability analysis of smart contracts on ethereum
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 …
targets for attack. At the same time, it is challenging to design correct blockchain …
Blockchain verification and validation: Techniques, challenges, and research directions
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 …
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 …
the inexperience of developers, causing damage. Nonetheless, the current research on …
GasFuzzer: Fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities
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 …
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
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 …
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 …
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 …
Ethereum currently represents the most widely used smart contract platform. It is the second …