Blockchain-based Smart Contracts: A Systematic Mapping Study
@article{Alharby2017BlockchainbasedSC, title={Blockchain-based Smart Contracts: A Systematic Mapping Study}, author={Maher Alharby and Aad van Moorsel}, journal={ArXiv}, year={2017}, volume={abs/1710.06372} }
An appealing feature of blockchain technology is smart contracts. [] Key Result The results show that about two thirds of the papers focus on identifying and tackling smart contract issues. Four key issues are identified, namely, codifying, security, privacy and performance issues. The rest of the papers focuses on smart contract applications or other smart contract related topics. Research gaps that need to be addressed in future studies are provided.
253 Citations
Blockchain-based Smart Contracts: A Systematic Mapping Study of Academic Research (2018)
- Computer Science2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB)
- 2018
A systematic mapping study of all peer-reviewed technology-oriented research in smart contracts to identify how academic researchers have taken up smart contract technologies and established scientific outputs and to identify academic research trends and uptake.
Systematic Literature Review of Blockchain based Smart Contracts Platforms
- Computer Science2020 International Conference on Information Technology Systems and Innovation (ICITSI)
- 2020
The extraction results show that the platforms needed for trading transactions are smart contract platforms that must have the characteristics of being fast, reliable, safe, stable, and user-friendly.
Blockchain and Smart Contracts
- Computer ScienceICSIE
- 2019
The paper presents the basic important information about the structures of the Blockchain and Smart Contract technologies and conducts a comparison between the different methodologies used in the Smart Contracts.
Smart contract applications within blockchain technology: A systematic mapping study
- Computer ScienceTelematics Informatics
- 2018
A Revisit on Blockchain-based Smart Contract Technology
- Computer Science, BusinessArXiv
- 2019
This paper aims to revisit the blockchain-based smart contract technology in order to understand and discuss the research gaps gathered from existing research and to provide guidance for future research.
Smart contracts on the blockchain - A bibliometric analysis and review
- Computer ScienceTelematics Informatics
- 2021
A Survey on Security Verification of Blockchain Smart Contracts
- Computer ScienceIEEE Access
- 2019
This work presents representative studies of formal verification of smart contracts in detail to demonstrate that using a formal method to validate blockchain smart contracts must have a promising and meritorious future.
Smart Contracts on the Blockchain – A Bibliometric Analysis and Review
- Computer Science
- 2020
This paper analyzes 468 peer-reviewed articles on the topic of smart contracts and their 20,188 references, providing a summary and analysis of the current state of research on smart contracts, and obtains a structured overview of the main strands of research concerning smart contracts.
An Overview on Smart Contracts: Challenges, Advances and Platforms
- Computer ScienceFuture Gener. Comput. Syst.
- 2020
Ethereum smart contract security research: survey and future research opportunities
- Computer ScienceFrontiers Comput. Sci.
- 2021
How smart contracts can be maliciously exploited and targeted is focused on, such as security issues of contract program model, vulnerabilities in the program and safety consideration introduced by program execution environment.
References
SHOWING 1-10 OF 36 REFERENCES
Where Is Current Research on Blockchain Technology?—A Systematic Review
- Computer SciencePloS one
- 2016
The objective is to understand the current research topics, challenges and future directions regarding Blockchain technology from the technical perspective, and recommendations on future research directions are provided for researchers.
Blockchains and Smart Contracts for the Internet of Things
- Computer ScienceIEEE Access
- 2016
The conclusion is that the blockchain-IoT combination is powerful and can cause significant transformations across several industries, paving the way for new business models and novel, distributed applications.
From Institutions to Code: Towards Automated Generation of Smart Contracts
- Computer Science2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)
- 2016
A modeling approach is proposed that supports the semi-automated translation of human-readable contract representations into computational equivalents in order to enable the codification of laws into verifiable and enforceable computational structures that reside within a public blockchain.
The Blockchain as a Software Connector
- Computer Science2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)
- 2016
This paper provides rationales to support the architectural decision on whether to employ a decentralized blockchain as opposed to other software solutions, like traditional shared data storage and explores specific implications of using the blockchain as a software connector including design trade-offs regarding quality attributes.
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
- Computer ScienceRuleML
- 2016
A fundamental challenge is emphasized - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules.
A Decentralised Sharing App running a Smart Contract on the Ethereum Blockchain
- Computer ScienceIOT
- 2016
A Decentralised App for the sharing of everyday objects based on a smart contract on the Ethereum blockchain that enables users to register and rent devices without involvement of a Trusted Third Party (TTP), disclosure of any personal information or prior sign up to the service.
Smart Contracts and Licensing
- Computer Science
- 2017
This chapter describes how organizations can leverage the smart contract technology by integrating smart contract code and the blockchain for the purpose of overseeing agreements and licensing and explains the benefits, the down sides as well as realistic case studies on the use of smart contracts in various industries.
Town Crier: An Authenticated Data Feed for Smart Contracts
- Computer Science, MathematicsCCS
- 2016
An authenticated data feed system called Town Crier is presented, which acts as a bridge between smart contracts and existing web sites, which are already commonly trusted for non-blockchain applications and defines and proves its basic security properties in the Universal Composibility (UC) framework.
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
- Computer Science, Mathematics2016 IEEE Symposium on Security and Privacy (SP)
- 2016
Hawk is a decentralized smart contract system that does not store financial transactions in the clear on the blockchain, thus retaining transactional privacy from the public's view, and is the first to formalize the blockchain model of cryptography.
Replacing Paper Contracts With Ethereum Smart Contracts
- Computer Science, Mathematics
- 2016
This research finds out what criteria Ethereum needs to fulfil to replace paper contracts and if it fulfils them, and whether it is even possible to place a contract on the blockchain.