Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

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 …

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 …

Smart contracts are digital contracts that rely on Blockchain technology to make their terms
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …

Ethereum smart contracts are automated decentralized applications on the blockchain that
describe the terms of the agreement between buyers and sellers, reducing the need for …

The use of blockchains for automated and adversarial trading has become commonplace.
However, due to the transparent nature of blockchains, an adversary is able to observe any …

We present SmarTest, a novel symbolic execution technique for effectively hunting
vulnerable transaction sequences in smart contracts. Because smart contracts are stateful …

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

Recent attacks exploiting errors in smart contract code had devastating consequences
thereby questioning the benefits of this technology. It is currently highly challenging to fix …

Smart contracts are prone to various vulnerabilities, leading to substantial financial losses
over time. Current analysis tools mainly target vulnerabilities with fixed control or dataflow …