Results 11 to 20 of about 360,545 (248)
Smart Contract: Attacks and Protections
IEEE Access, 2020 Smart contracts are programs that reside within decentralized blockchains and are executed pursuant to triggered instructions. A smart contract acts in a similar way to a traditional agreement but negates the necessity for the involvement of a third ...
Sarwar Sayeed +2 more
doaj +3 more sources
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
Smart Contract Vulnerability Detection Based on Abstract Syntax Tree Pruning [PDF]
Jisuanji kexue, 2023 With the development of blockchain technology,smart contracts have been widely used in various fields,and Ethereum has become the largest smart contract platform.At the same time,the frequent smart contract vulnerabilities have caused huge economic ...
LIU Zerun, ZHENG Hong, QIU Junjie
doaj +1 more source
Survey of smart contract security
网络与信息安全学报, 2020 Blockchain provides a new technology for building transmission and trust mechanism of social ralue.The rapid development of blockchain has promoted the deep integration of smart contract with artificial Intelligence,big data and internet of things,so its
Bo MENG +5 more
doaj +3 more sources
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
Smart Contracts Contracts [PDF]
Frontiers in Blockchain, 2020 This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are programs executed on blockchains. What is the relation between them?
openaire +3 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
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
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