Results 1 to 10 of about 1,252,085 (249)
Smart Contract Security: A Software Lifecycle Perspective
IEEE Access, 2019 Smart contract security is an emerging research area that deals with security issues arising from the execution of smart contracts in a blockchain system. Generally, a smart contract is a piece of executable code that automatically runs on the blockchain
Yongfeng Huang +4 more
doaj +1 more source
CoRRMany of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the similarities and the differences between classical and blockchain-based models of distributed computing.
Yackolley Amoussou-Guenou +4 more
openaire +3 more sources
Automated Generation of Test Cases for Smart Contract Security Analyzers
IEEE Access, 2020 We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj +1 more source
工程科学学报The importance of smart contracts at the legal level is increasing. However, the contract is written in natural language, and the computers cannot process it directly.
Yuqing FAN +5 more
doaj +1 more source
Smart Contract-Based Data Commodity Transactions for Industrial Internet of Things
IEEE Access, 2019 The evolution of Industrial Internet of things (IIoT) boosts the amount of IIoT data. Machine learning promotes the progress of data analytics services.
Yuna Jiang, Yi Zhong, Xiaohu Ge
doaj +1 more source
Transaction Monitoring of Smart Contracts
, 2022 Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens and cryptocurrency are sent and received.
Margarita Capretto +2 more
openaire +2 more sources
Termination of Ethereum’s Smart Contracts
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020 Ethereum is a decentralized blockchain technology equipped with so-called Smart Contracts. Acontract is a program whose code is public, which can be triggered by any user, and whose actualexecution is performed by miners participating in Ethereum. Miners execute the contract on theEthereum Virtual Machine (EVM) and apply its effect by adding new blocks
Genet, Thomas +2 more
openaire +2 more sources
Security, Performance, and Applications of Smart Contracts: A Systematic Survey
IEEE Access, 2019 Blockchain is the promising technology of recent years, which has attracted remarkable attention in both academic studies and practical industrial applications.
Sara Rouhani, Ralph Deters
doaj +1 more source
Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
IEEE Access, 2020 In the last decade, smart contract security issues lead to tremendous losses, which has attracted increasing public attention both in industry and in academia.
Peng Qian +4 more
doaj +1 more source
Belief game: Verifying smart contract functionality in player dynamic interactions
Engineering Science and Technology, an International JournalSmart contracts, being security-critical code, facilitate consensus among players and ensure secure and accurate value transfer, and formal verification is necessary to guarantee functional correctness of contracts. Game theory serves as one of the tools
Xu Liu, Junwu Zhu
doaj +1 more source