Results 31 to 40 of about 1,358,296 (285)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers [PDF]

International Conference on Software Engineering
Given the growing importance of smart contracts in various applications, ensuring their security and reliability is critical. Fuzzing, an effective vulnerability detection technique, has recently been widely applied to smart contracts.
Shuohan Wu, Zihao Li, Luyi Yan, Weimin Chen, Muhui Jiang, Chenxu Wang, Xiapu Luo, Hao Zhou   +7 more
semanticscholar   +1 more source

Smart Contract: Attacks and Protections [PDF]

IEEE Access, 2020
[EN] 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 party. Smart contracts are capable of initiating their commands automatically, thus eliminating the
Sarwar Sayeed, Hector Marco-Gisbert, Tom Caira   +2 more
openaire   +4 more sources

Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing [PDF]

IEEE Transactions on Information Forensics and Security
Smart contracts, the cornerstone of decentralized applications, have become increasingly prominent in revolutionizing the digital landscape. However, vulnerabilities in smart contracts pose great risks to user assets and undermine overall trust in ...
Ruichao Liang, Jing Chen, Cong Wu, Kun He, Yueming Wu, Ruochen Cao, Ruiying Du, Ziming Zhao, Yang Liu   +8 more
semanticscholar   +1 more source

Smart Contract Development: Challenges and Opportunities

IEEE Transactions on Software Engineering, 2021
Smart contract, a term which was originally coined to refer to the automation of legal contracts in general, has recently seen much interest due to the advent of blockchain technology.
W. Zou, David Lo, Pavneet Singh Kochhar, X. Le, Xin Xia, Yang Feng, Zhenyu Chen, Baowen Xu   +7 more
semanticscholar   +1 more source

Smart Contracts on the Move

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 ...
Alysson Bessani, Enrique Fynn, Fernando Pedone   +2 more
openaire   +3 more sources

StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract [PDF]

The Web Conference
Decentralized Exchanges (DEXs), leveraging blockchain technology and smart contracts, have emerged in decentralized finance. However, the DEX project with multi-contract interaction is accompanied by complex state logic, which makes it challenging to ...
Zongwei Li, Wenkai Li, Xiaoqi Li, Yuqing Zhang   +3 more
semanticscholar   +1 more source

Smart Contract Interactions in Coq [PDF]

, 2020
We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire   +3 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, Jensen, Thomas, Sauvage, Justine   +2 more
openaire   +3 more sources

Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract

IEEE Access, 2022
Blockchain is a revolutionary technology that enables users to communicate in a trust-less manner. It revolutionizes the modes of business between organizations without the need for a trusted third party.
Satpal Singh Kushwaha, Sandeep Joshi, Dilbag Singh, Manjit Kaur, Heung-No Lee   +4 more
semanticscholar   +1 more source

Analysis of smart contracts balances

Blockchain: Research and Applications, 2021
We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviors of smart contract functions by means of a simple functional language with static dispatch.
Cosimo Laneve, Claudio Sacerdoti Coen
openaire   +3 more sources