Results 11 to 20 of about 27,305 (300)
Development of The Statement of Will and Its Validity in Smart Contract [PDF]
Jurnal Penelitian Hukum De JureThe development of Smart Contract in this regard can be attributed to the stability of Indonesian law, where methods for executing contracts have become increasingly sophisticated.
Ariyanto Ariyanto
doaj +2 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
A conceptual framework for blockchain smart contract adoption to manage real estate deals in smart cities [PDF]
, 2023 Blockchains-based smart contracts are disrupting the smart real estate sector of the smart cities. The current study explores the literature focused on blockchain smart contracts in smart real estate and proposes a conceptual framework for its adoption ...
Ullah, Fahim, Al-Turjman, Fadi
core +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
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
Blockchain-Enhanced Smart Contract for Cost-Effective Insurance Claims Processing [PDF]
, 2023 Blockchain-enabled smart contracts have revolutionized the insurance industry due to their potential to streamline backend operations, mitigate fraudulent claims, and enhance data security and transparency.
Si, Yain-Whar +9 more
core +1 more source
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 Contracts Contracts [PDF]
Frontiers in Blockchain, 2020 This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are programs executed on blockchains. What is the relation between them?
openaire +3 more sources