Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts

Transaction-reverting statements are key constructs within Solidity that are extensively used for authority and validity checks. Current state-of-the-art search-based testing and fuzzing approaches do not explicitly handle these statements and therefore can not effectively detect security vulnerabilities. In this paper, we argue that it is...

Security Evaluation of GoQuorum-based Smart Contracts: A Case Study of Malfunctioning Access Control and Double-Spending

GoQuorum is an enterprise blockchain platform that supports smart contracts and allows for private transactions. Smart contracts enable automated payment while eliminating the need for third-party involvement. Previous attacks on smart contracts have already shown that existing vulnerabilities can lead to great financial losses. Yet, a study...

Revisiting smart contract vulnerabilities in Hyperledger Fabric

Hyperledger Fabric is a permissioned enterprise blockchain allowing organizations to collaborate and automate processes via smart contracts. However, these contracts could contain security vulnerabilities leading to unexpected behavior or other negative consequences. Therefore, this study takes a closer look at three reported smart contract...

Investigating Arbitrageurs and Oracle Manipulators in Ethereum

Smart contracts on Ethereum enable billions of dollars of value to be transacted in a decentralised, transparent and trustless environment. However, adversaries lie await in the Dark Forest, waiting to exploit any and all smart contract vulnerabilities in order to extract profits from unsuspecting victims in this new financial system. As the...

Blockchain in Service Management and Service Research: Developing a Research Agenda and Managerial Implications

As blockchain technology is maturing to be confidently used in practice, its applications are becoming evident and, correspondingly, more blockchain research is being published, also extending to more domains than before. To date, scientific research in the field has predominantly focused on subject areas such as finance, computer science, and...

An Empirical Study into the Success of Listed Smart Contracts in Ethereum

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximize the chance of success. A smart contract is intended to encode business logic and is therefore at the heart of...

Perceived usefulness, ease of use and user acceptance of blockchain technology for digital transactions–insights from user-generated content on Twitter

Although blockchain has attracted a great deal of attention from academia and industry there is a lack of studies on acceptance drivers. This study explores blockchain acceptance by mining the collective intelligence of users on Twitter. It maps blockchain user acceptance drivers to technology acceptance constructs. The analysis shows that...

Implementation of Blockchain Powered Smart Contracts in Governmental Services

Blockchain, the rapid developing technology behind Bitcoin, is increasingly becoming popular. Blockchain is a distributed ledger technology that distributes digital transactions peer-to-peer to a decentralized network of nodes that verify the transactions and keep a cryptographic secured copy of the entire history of transactions. The network...