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 …

This paper presents MindTheDApp, a toolchain designed specifically for the structural
analysis of Ethereum-based Decentralized Applications (DApps), with a distinct focus on a …

When users deploy or invoke smart contracts on Ethereum, a fee is charged for avoiding
resource abuse. Metered in gas, the fee is the product of the amount of gas used and the …

Smart contracts are tempting targets of attacks, as they often hold and manipulate significant
financial assets, are immutable after deployment, and have publicly available source code …

Smart contracts are the building blocks of the “code is law” paradigm: the smart contract's
code indisputably describes how its assets are to be managed-once it is created, its code is …

Smart contracts challenge the existing, highly efficient techniques applied in symbolic model
checking of software by their unique traits not present in standard programming models. Still …

The Libra blockchain is designed to store billions of dollars in assets, so the security of code
that executes transactions is important. The Libra blockchain has a new language for …

Gas is a measurement unit of the computational effort that it will take to execute every single
replicated operation that takes part in the Ethereum blockchain platform. If a transaction …

Abstract The Move Prover (MVP) is a formal verifier for smart contracts written in the Move
programming language. MVP has an expressive specification language, and is fast and …

In migrating and upgrading an Ethereum smart contract, it is necessary to transfer both the
code as well as the stored data. Various methods attempt to migrate or upgrade a smart …