Results 21 to 30 of about 27,305 (300)
Qualitative Visual Analysis of Cross-chain Smart Contract Invocation Approaches [PDF]
, 2022 This document demonstrates the visual qualitative analysis performed over the approaches systematically selected for inclusion in the study entitled, "Cross-Chain Smart Contract Invocations: A Systematic Multi-Vocal Literature Review"
Leymann, Frank +3 more
core +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
Правоприменение, 2022 The subject and the aim of the study. The article analyzes the approach to smart contract technology, which is reflected in the scientific literature and legislation of Russia and foreign countries, formulates the advantages and disadvantages of a smart ...
S. S. Kuznetsova
doaj +1 more source
SMART CONTRACTS: SECURITY ISSUES AND FURTHER DEVELOPMENT IN BRAZIL
International Journal of Law in Changing World, 2022 This study aims to describe how smart contracts are made and the legal certainty of using them on business contracts. For this, the study concepted the smart contract, as well its characteristics and the difference between smart contract and e-contract.
Luane Silva Nascimento +1 more
doaj +1 more source
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
Secure Modular Smart Contract Platform for Multi-Tenant 5G Applications
IEEE Access, 2020 Trusted decentralized applications based on distributed ledger technologies provide many potential opportunities to 5G applications and verticals, as well as in fifth generation mobile network (5G) enabling technologies, systems, and services. Apart from
Matevz Pustisek, Jan Turk, Andrej Kos
doaj +1 more source
Survey of Vulnerability Detection Tools for Smart Contracts [PDF]
Jisuanji kexue, 2021 Smart contract is an important component of blockchain platform to realize transactions,which provides an effective solution to the trust problem between multi-party transactions.Smart contracts not only manage high value tokens but also have the ...
TU Liang-qiong, SUN Xiao-bing, ZHANG Jia-le, CAI Jie, LI Bin, BO Li-li
doaj +1 more source
Software repository of Smart Contract Design via Modeling Environment: A proposal based on DasContract DSL [PDF]
, 2022 Software repository of "Smart Contract Design via Modeling Environment: A proposal based on DasContract DSL"
Cristóbal Marinkovic W.
core +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
Replication Data for: Towards Automated Verification of Smart Contract Fairness [PDF]
, 2020 Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE ...
Liu, Ye, Lin, Shang-Wei, Li, Yi
core +1 more source