Blockchains are distributed systems, in which security is a critical factor for their success.
However, despite their increasing popularity and adoption, there is a lack of standardized …

The advent of Blockchain and smart contracts is empowering many technologies and
systems to automate commerce and facilitate the exchange, tracking and the provision of …

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 …

An effective way to maximize code coverage in software tests is through dynamic symbolic
execution-a technique that uses constraint solving to systematically explore a program's …

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 …

Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts:
full-fledged inter-communicating programs that capture the transaction logic of an account …

Credit allows a lender to loan out surplus capital to a borrower. In the traditional economy,
credit bears the risk that the borrower may default on its debt, the lender hence requires …

The rise of modern blockchains has facilitated the emergence of smart contracts:
autonomous programs that live and run on the blockchain. Smart contracts have seen a …

Recently, a number of existing blockchain systems have witnessed major bugs and
vulnerabilities within smart contracts. Although the literature features a number of proposals …

Smart contracts enabled a new way to perform cryptocurrency transactions over
blockchains. While this emerging technique introduces free-of-conflicts and transparency …