Results 1 to 10 of about 11,147 (259)
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.
Guido Perboli, Vittorio Capocasale
exaly +4 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 ...
Massimo Bartoletti
doaj +3 more sources
Internet Policy Review, 2021 A smart contract is code deployed in a blockchain environment, or the source code from which such code was compiled.
Primavera De Filippi +2 more
doaj +5 more sources
A formal verification approach for composite smart contracts security using FSM
Journal of King Saud University - Computer and Information Sciences, 2023 Many of today's companies use Smart Contracts to represent and execute their business processes. Smart contracts are self-executed programs running over blockchain.
Abed Ellatif Samhat +2 more
exaly +3 more sources
Smart Contracts in Blockchain Technology: A Critical Review
Information (Switzerland), 2023 By utilizing smart contracts, which are essentially scripts that are anchored in a decentralized manner on blockchains or other similar infrastructures, it is possible to make the execution of predetermined procedures visible to the outside world.
Hamed Taherdoost, Taherdoost Hamed
exaly +3 more sources
A Massive Analysis of Ethereum Smart Contracts Empirical Study and Code Metrics
IEEE Access, 2019 In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum blockchain. The objective of the analysis is to provide empirical results on smart contracts features, smart contract transactions within the blockchain,
Gavina Baralla +2 more
exaly +3 more sources
Eurasian Journal of Management & Social Sciences, 2022 Although in the world of law, smart contracts are still a new concept, they have already given rise to many possibilities. common examinations of smart contracts, a modern innovation aimed at displacing traditional contract law.
Karwan Dhahir Saber +1 more
doaj +1 more source
Detection and Analysis of Ethereum Energy Smart Contracts
Applied Sciences, 2023 As blockchain technology advances, so has the deployment of smart contracts on blockchain platforms, making it exceedingly challenging for users to explicitly identify application services. Unlike traditional contracts, smart contracts are not written in
Bahareh Lashkari, Petr Musilek
doaj +1 more source
Unnes Law Journal, 2023 The increasingly massive use of the internet is now affecting the economic world which is characterized by the birth of E-Commerce. E-Commerce mechanism that does not brings together sellers and buyers directly, this raises a variety of problems on the ...
Muhammad Ilman Abidin
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