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 …

Blockchain is one of the disruptive technical innovation in the recent computing paradigm.
Many applications already notoriously hard and complex are fortunate to ameliorate the …

This paper presents a dynamic, real-time approach to detecting anomalous blockchain
transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain …

By Asian digital economy, we refer to high-tech developments, business and social
transformations, and information-driven changes in the region's growth. We discuss its …

The smart grid idea was implemented as a modern interpretation of the traditional power
grid to find out the most efficient way to combine renewable energy and storage …

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 …

Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …

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

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs
managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation …

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 …