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 …

Blockchain is a platform of distributed elaboration, which allows users to provide software for
a huge range of next‐generation decentralized applications without involving reliable third …

We present Solythesis, a source to source Solidity compiler which takes a smart contract
code and a user specified invariant as the input and produces an instrumented contract that …

Blockchain platforms are coming into use for processing critical transactions among
participants who have not established mutual trust. Many blockchains are programmable …

Solidity smart contract allow developers to formalize financial agreements between users.
Due to their monetary nature, smart contracts have been the target of many high-profile …

Aiming at insufficient situation to express and operate assets in smart contracts, in this article
we attempt to add a new asset model into smart contract language (such as SPESC) through …

In recent years, Blockchain arose as a key technology in building autonomous decentralised
financial systems. Its ability to digitize trust enables building trustless systems such as …

Blockchain technology has evolved from a cryptocurrency-exclusive technique for direct
transactions among distrusting users (ie, Blockchain 1.0), into a general programming …

Smart contracts are programs that implement potentially sophisticated transactions on
modern blockchain platforms. In the rapidly evolving blockchain environment, smart contract …

This paper proposes a logic for programming languages, which is both simple and
expressive, to serve as a foundation for language semantics frameworks. Matching mu-logic …