Results 21 to 30 of about 27,184 (300)
Internet Policy Review, 2021 A smart contract is code deployed in a blockchain environment, or the source code from which such code was compiled.
De Filippi, P., Wray, C., Sileno, G.
openaire +6 more sources
Reliable Smart Contract Automatic Generation Based on Event-B [PDF]
Jisuanji kexue, 2023 Smart contract is a new computable transaction agreement that executes contract terms in code.Its application scena-rios and scale are growing with each passing day,carrying up to billions of dollars of various assets.However,smart contracts may cause ...
ZHU Jian, HU Kai, WANG Jun, LI Jie, YE Yafei, SHI Xiyan
doaj +1 more source
A survey of application research based on blockchain smart contract [PDF]
Wireless Networks, 2022 Shi-Yi Lin
exaly +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 +3 more
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
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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 ...
Haoxian Chen 0001 +4 more
openaire +2 more sources
IEEE Access, 2022 In the evolving context of distributed ledger technologies, the standardization of smart contracts is necessary. Smart contracts are tamper-proof computer programs. Due to their security and flexibility, it is possible to exploit smart contracts in a wide variety of use cases. In particular, it could be possible to automate legally recognized contracts
Capocasale, Vittorio, Perboli, Guido
openaire +2 more sources
Survey of smart contract security
网络与信息安全学报, 2020 Blockchain provides a new technology for building transmission and trust mechanism of social ralue.The rapid development of blockchain has promoted the deep integration of smart contract with artificial Intelligence,big data and internet of things,so its
Bo MENG +5 more
doaj +3 more sources
State-of-the-art survey of smart contract verification based on formal methods
网络与信息安全学报, 2022 Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a ...
Wenbo ZHANG +2 more
doaj +3 more sources
Smart Contract Vulnerability Detection Based on Abstract Syntax Tree Pruning [PDF]
Jisuanji kexue, 2023 With the development of blockchain technology,smart contracts have been widely used in various fields,and Ethereum has become the largest smart contract platform.At the same time,the frequent smart contract vulnerabilities have caused huge economic ...
LIU Zerun, ZHENG Hong, QIU Junjie
doaj +1 more source