In recent years, we have seen a great deal of both academic and practical interest in the
topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum …

The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Smart contracts (SC) are one of the most appealing features of blockchain technologies
facilitating, executing, and enforcing predefined terms of coded contracts without …

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 …

Privacy concerns of smart contracts are a major roadblock preventing their wider adoption. A
promising approach to protect private data is hiding it with cryptographic primitives and then …

We investigate a family of bugs in blockchain-based smart contracts, which we dub event-
ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contract …

In this paper, we present a formal verification tool for the Ethereum Virtual Machine (EVM)
bytecode. To precisely reason about all possible behaviors of the EVM bytecode, we …

Blockchain-based decentralized applications (DApp) draw more attention with the
increasing development and wide application of blockchain technologies. A wealth of funds …

Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …

With a market capitalisation of over USD 205 billion in just under ten years, public distributed
ledgers have experienced significant adoption. Apart from novel consensus mechanisms …