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 technology is believed by many to be a game changer in many application
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …

Over the last few years, there has been substantial research on automated analysis, testing,
and debugging of Ethereum smart contracts. However, it is not trivial to compare and …

Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

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 …

We present VerX, the first automated verifier able to prove functional properties of Ethereum
smart contracts. VerX addresses an important problem as all real-world contracts must …

Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …

Decentralized Finance (DeFi) is a blockchain-asset-enabled finance ecosystem with millions
of daily USD transaction volume, billions of locked up USD, as well as a plethora of newly …

Smart contracts are at the heart of many decentralized applications, encapsulating core
parts of the business logic. They handle the exchange of valuable assets like crypto …

With the increasing popularity of blockchain technologies in recent years, blockchain‐based
decentralized applications (DApps for short in this paper) have been rapidly developed and …