A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

IoTs are integrated, interconnected concepts of things or objects in our surroundings, with an
essence of virtualization. The interconnectivity of the business world, health environments …

Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

This paper presents SAILFISH, a scalable system for automatically finding state-
inconsistency bugs in smart contracts. To make the analysis tractable, we introduce a hybrid …

The use of blockchains for automated and adversarial trading has become commonplace.
However, due to the transparent nature of blockchains, an adversary is able to observe any …

The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Blockchain technology has taken on a leading position in today's industrial applications by
providing salient features and showing significant performance since its beginning …

Smart contracts, as an added functionality to blockchain, have received increased attention
recently. They are executable programs whose instance and state are stored in blockchain …

Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …

Blockchain technology has enabled so-called smart contracts between different parties on a
decentralized network. These self-enforceable and self-executable computerized contracts …