Results 1 to 10 of about 39,680 (181)
Blockchain-based Smart Contracts: A Systematic Mapping Study [PDF]
Fourth 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
Declarative Smart Contracts [PDF]
arXiv, 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
An Overview on Smart Contracts: Challenges, Advances and Platforms [PDF]
Future 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
Smart Contract Broker: Improving Smart Contract Reusability in a Blockchain Environment
Sensors, 2023 In this paper, we propose a smart contract broker to improve the reusability of smart contracts in a blockchain environment. The current blockchain platform lacks a standard approach to sharing and managing smart contracts, which makes it difficult for ...
Joonseok Park +2 more
doaj +3 more sources
Smart Contract: Attacks and Protections [PDF]
IEEE Access, 2020 Smart contracts are programs that reside within decentralized blockchains and are executed pursuant to triggered instructions. A smart contract acts in a similar way to a traditional agreement but negates the necessity for the involvement of a third ...
Sarwar Sayeed +2 more
doaj +4 more sources
Adding Concurrency to Smart Contracts [PDF]
arXiv, 2017 Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain.
Paul Gazzillo +3 more
arxiv +7 more sources
Internet Policy Review, 2021 El objetivo primordial de este trabajo es aclarar el funcionamiento de estas tecnologías y su análisis jurídico, para poder ver si son realmente funcionales y viables desde el punto de vista legal. Para ello, analizaremos las ventajas y los inconvenientes de estas tecnologías, especialmente en el tema de los Contratos Inteligentes, así como las ...
De Filippi, P., Wray, C., Sileno, G.
+11 more sources
Survey of Ethereum Smart Contract Fuzzing Technology Research [PDF]
Jisuanji kexue, 2022 Smart contracts running on the blockchain platform completethe establishment and automatic execution of a greements between different participants,and also manage a large number of digital assets.The frequent exposure of smart contract loopholes has ...
HUANG Song, DU Jin-hu, WANG Xing-ya, SUN Jin-lei
doaj +1 more source
Bytecode-based approach for Ethereum smart contract classification
网络与信息安全学报, 2022 In recent years, blockchain technology has been widely used and concerned in many fields, including finance, medical care and government affairs.However, due to the immutability of smart contracts and the particularity of the operating environment ...
Dan LIN, Kaixin LIN, Jiajing WU, Zibin ZHENG
doaj +3 more sources
Data Trading Certification Based on Consortium Blockchain and Smart Contracts
IEEE Access, 2021 In this paper, the first data trading certification blockchain solution based on consortium blockchain and smart contracts is proposed to solve the certification data security problem in data trading, so as to realize the auditability, accountability and
Wei Xiong, Li Xiong
doaj +1 more source