Over the last few years, there has been substantial research on automated analysis, testing,
and debugging of Ethereum smart contracts. However, it is not trivial to compare and …

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 …

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 …

Smart contracts are decentrally anchored scripts on blockchains or similar infrastructures
that allow the transparent execution of predefined processes. Using smart contracts …

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 …

Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

Smart contracts are decentralized applications running on Blockchain. A very large number
of smart contracts has been deployed on Ethereum. Meanwhile, security flaws of contracts …

Blockchain is the promising technology of recent years, which has attracted remarkable
attention in both academic studies and practical industrial applications. The smart contract is …

Fuzzing and symbolic execution are two complementary techniques for discovering software
vulnerabilities. Fuzzing is fast and scalable, but can be ineffective when it fails to randomly …