Results 21 to 30 of about 1,064,987 (290)
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 +4 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.
Mouhamad Almakhour +3 more
doaj +1 more source
Frontiers in Blockchain, 2021 Current research on smart contracts focuses on technical, conceptual, and legal aspects but neglects organizational requirements and sustainability impacts.
Wolfram Groschopf +2 more
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 +3 more
doaj +3 more sources
The treewidth of smart contracts [PDF]
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019 Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money in the form of cryptocurrency units. Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars ...
Krishnendu Chatterjee +2 more
openaire +3 more sources
SMART CONTRACT AS A CONTRACT. TYPES, METHODS OF CONCLUDING AND COMMITTING, PROBLEMS OF EXECUTION [PDF]
Legal Bulletin, 2023 The article discusses the main legal provisions on smart contracts. Particular attention is paid to the scientific conclusions of scientists on the legal positioning of smart contracts and their identification as between new types of contracts and ways ...
GARMASHEV M.A.
doaj +1 more source
A Secure Smart Contract Generation Method Based on Timed Automata [PDF]
Jisuanji gongcheng, 2023 Blockchain is a decentralized computing paradigm with promising application prospects in many fields. Smart contracts are the key to blockchain applications; however, security issues with smart contracts often occur, occasionally leading to significant ...
Yang LIU, Shengjie ZHANG
doaj +1 more source