Results 11 to 20 of about 10,945 (259)
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
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 +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
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
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 +2 more sources
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
What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts
Frontiers in Blockchain, 2021 Contracts regulate most of our professional and personal life: they enable modern society to operate. The term “Smart Contract,” coined in 1994 by Nick Szabo, means different things to different people. This editorial perspective explores the meanings of
Maria G. Vigliotti
doaj +1 more source
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020 Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing ...
Enrique Fynn +2 more
openaire +2 more sources