Results 1 to 10 of about 1,349,227 (320)

Blockchain-based Smart Contracts: A Systematic Mapping Study [PDF]

open access: bronzeFourth International Conference on Computer Science and Information Technology (CSIT-2017), 2017
An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a trusted third party. In this paper, we conduct a systematic mapping study to collect all research that is relevant
Maher Alharby, Aad van Moorsel
arxiv   +2 more sources

An Overview on Smart Contracts: Challenges, Advances and Platforms [PDF]

open access: greenFuture Generation Computer Systems, 2019, 2019
Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a trusted third party.
Zibin Zheng   +6 more
arxiv   +3 more sources

Declarative Smart Contracts [PDF]

open access: yesarXiv, 2022
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store ...
Chen, Haoxian   +4 more
arxiv   +3 more sources

Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study [PDF]

open access: yesarXiv, 2023
Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures trustlessness. Despite smart contracts' immutability benefits, upgrading contract code is still necessary for bug fixes ...
arxiv  

DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode [PDF]

open access: yes, 2020
Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it
arxiv   +1 more source

Probabilistic Framework For Loss Distribution Of Smart Contract Risk [PDF]

open access: yesarXiv, 2021
Smart contract risk can be defined as a financial risk of loss due to cyber attacks on or contagious failures of smart contracts. Its quantification is of paramount importance to technology platform providers as well as companies and individuals when considering the deployment of this new technology. That is why, as our primary contribution, we propose
arxiv  

Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models [PDF]

open access: yesBaltica Journal, Vol. 33, Issue 1, 20th January 2020, ISSN: 0067-3064, pp. 101-116, Available: http://www.balticajournal.com/baltica/index.php/jTracker/index/IL1qQ, 2020
With the recent popularity of Blockchain and other Distributed Ledger Technologies (DLT), blockchain enabled smart contract applications has attracted increased research focus. However, the immutability of the blocks, where the smart contracts are stored, causes conflicts with the traditional Software Development Life Cycle (SDLC) models usually ...
arxiv  

An Empirical Study of Protocols in Smart Contracts [PDF]

open access: yesarXiv, 2021
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to financial losses. Understanding state machine protocols in smart contracts has been identified as important
arxiv  

ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection [PDF]

open access: yes, 2018
Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while minimizing trusts.
arxiv   +1 more source

Abusing the Ethereum Smart Contract Verification Services for Fun and Profit [PDF]

open access: yesarXiv, 2023
Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds of security issues in smart contracts, the smart contract verification is urgently needed, which is the process of matching a smart contract's source code to its on-chain bytecode for gaining mutual trust between smart contract developers and users.
arxiv  

Home - About - Disclaimer - Privacy