Given the ongoing transition towards a more decentralised and adaptive energy system, the
potential of blockchain-enabled smart contracts for the energy sector is being increasingly …

Since its inception, the blockchain technology has shown promising application prospects.
From the initial cryptocurrency to the current smart contract, blockchain has been applied to …

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 …

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 …

Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has
accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in …

Ethereum is a major blockchain-based platform for smart contracts-Turing complete
programs that are executed in a decentralized network and usually manipulate digital units …

Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

This paper describes Slither, a static analysis framework designed to provide rich
information about Ethereum smart contracts. It works by converting Solidity smart contracts …

Smart contracts---stateful executable objects hosted on blockchains like Ethereum---carry
billions of dollars worth of coins and cannot be updated once deployed. We present a new …