Results 11 to 20 of about 232,310 (307)
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, Kaixin LIN, Jiajing WU, Zibin ZHENG
doaj +3 more sources
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
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 ...
Chatterjee, Krishnendu +2 more
openaire +3 more sources
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
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 ...
Chen, Haoxian +4 more
openaire +2 more sources
ACM Transactions on Software Engineering and Methodology, 2020 Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used
Xiao Liang Yu +3 more
openaire +4 more sources
Elastic Smart Contracts in Blockchains
IEEE/CAA Journal of Automatica Sinica, 2021 Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)
Dustdar, Schahram +3 more
openaire +7 more sources
Translation certification for smart contracts
Science of Computer Programming, 2022 Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +6 more sources
An Organized Repository of Ethereum Smart Contracts’ Source Codes and Metrics
Future Internet, 2020 Many empirical software engineering studies show that there is a need for repositories where source codes are acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular project to explore and ...
Giuseppe Antonio Pierro +2 more
doaj +1 more source