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 …

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 …

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 …

Blockchain has recently emerged as a research trend, with potential applications in a broad
range of industries and context. One particular successful Blockchain technology is smart …

Blockchain as a distributed computing platform enables users to deploy pieces of software
(known as smart contracts) for a wealth of next-generation decentralized applications …

Smart contracts are programs running on cryptocurrency (eg, Ethereum) blockchains, whose
popularity stem from the possibility to perform financial transactions, such as payments and …

A blockchain is a decentralised linked data structure that is characterised by its inherent
resistance to data modification, but it is deficient in search queries primarily due to its inferior …

Distributed Ledger Technologies (DLTs), like Blockchain, are characterized by features such
as transparency, traceability, and security by design. These features make the adoption of …