A survey on security verification of blockchain smart contracts
J Liu, Z Liu - IEEE access, 2019 - ieeexplore.ieee.org
A smart contract is an agreement between two or more parties, which is executed by the
computer code. The code does the execution without giving either party the ability to back …
computer code. The code does the execution without giving either party the ability to back …
Security challenges and opportunities for smart contracts in Internet of Things: A survey
Smart contracts, one of the success stories in blockchain 2.0, have been widely utilized in a
broad range of applications, including those involving Internet of Things (IoT). Given the fast …
broad range of applications, including those involving Internet of Things (IoT). Given the fast …
Rethinking smart contract fuzzing: Fuzzing with invocation ordering and important branch revisiting
Blockchain smart contracts have given rise to a variety of interesting and compelling
applications and emerged as a revolutionary force for the Internet. Smart contracts from …
applications and emerged as a revolutionary force for the Internet. Smart contracts from …
Security analysis methods on ethereum smart contract vulnerabilities: a survey
Smart contracts are software programs featuring both traditional applications and distributed
data storage on blockchains. Ethereum is a prominent blockchain platform with the support …
data storage on blockchains. Ethereum is a prominent blockchain platform with the support …
A survey of tools for analyzing ethereum smart contracts
M Di Angelo, G Salzer - 2019 IEEE international conference on …, 2019 - ieeexplore.ieee.org
Smart contracts are at the heart of many decentralized applications, encapsulating core
parts of the business logic. They handle the exchange of valuable assets like crypto …
parts of the business logic. They handle the exchange of valuable assets like crypto …
Supply chain disruption risk management with blockchain: A dynamic literature review
The purpose of this review is to describe the landscape of scientific literature enriched by an
author's keyword analysis to develop and test blockchain's capabilities for enhancing supply …
author's keyword analysis to develop and test blockchain's capabilities for enhancing supply …
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …
blockchain technology. Their self-enforcing and event-driven features make some online …
Eth2vec: learning contract-wide code representations for vulnerability detection on ethereum smart contracts
N Ashizawa, N Yanai, JP Cruz, S Okamura - Proceedings of the 3rd ACM …, 2021 - dl.acm.org
Ethereum smart contracts are programs that run on the Ethereum blockchain, and many
smart contract vulnerabilities have been discovered in the past decade. Many security …
smart contract vulnerabilities have been discovered in the past decade. Many security …
Blockchain, Bitcoin, and ICOs: a review and research agenda
Blockchain, a decentralized validation protocol in which no one individual entity completely
controls the process or information, is labeled both a “techno tour de force” and a “fraud.” …
controls the process or information, is labeled both a “techno tour de force” and a “fraud.” …