Results 11 to 20 of about 359,953 (259)
State-of-the-art survey of smart contract verification based on formal methods
网络与信息安全学报, 2022 Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a ...
Wenbo ZHANG +4 more
doaj +3 more sources
A smart contract system for decentralized borda count voting [PDF]
, 2020 In this article, we propose the first self-tallying decentralized e-voting protocol for a ranked-choice voting system based on Borda count. Our protocol does not need any trusted setup or tallying authority to compute the tally.
Bag, Samiran +3 more
core +1 more source
Правоприменение, 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
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
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
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
Foreign civil doctrine of smart contracts [PDF]
SHS Web of Conferences, 2022 The article is devoted to a topic of great scientific and practical importance in the modern context of creating a digital economy ecosystemб to the smart contract phenomenon.
Zakharkina Anna, Kuznetsova Olga
doaj +1 more source
Applying blockchain-based method to smart contract classification for CPS applications
Digital Communications and Networks, 2022 Smart contract has been the core of blockchain systems and other blockchain-based systems since Blockchain 2.0. Various operations on blockchain are performed through the invocation and execution of smart contracts.
Zigui Jiang +3 more
doaj +1 more source
A Smart Contract Oracle for Approximating Real-World, Real Number Values [PDF]
, 2020 A key challenge of smart contract systems is the fact that many useful contracts require access to information that does not natively live on the blockchain.
George, William
core +1 more source