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 …

Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Smart contracts are the building blocks of the “code is law” paradigm: the smart contract's
code indisputably describes how its assets are to be managed-once it is created, its code is …

This paper presents FrontDef, a security system to detect and front-run malicious
transactions to mitigate financial loss caused by smart contract attacks. FrontDef monitors …

We describe the impact and measure the adoption of the CREATE2 instruction introduced to
the Ethereum Virtual Machine in the Constantinople upgrade. This change to Ethereum's …

Data-flow analyses like points-to analysis can vastly improve the precision of other analyses,
and enable powerful code optimizations. However, whole-program points-to analysis of …

In our previous work, we proposed a verification framework that shifts from the “code is law”
to a new “specification is law” paradigm related to the safe evolution of smart contracts. The …

Smart contracts have been subjected to several attacks that have exploited various
vulnerabilities of languages like Solidity, which has resulted in huge financial losses. The …

区块链为构建社会价值传递和信任机制提供了一种新的技术. 区块链的快速发展促进了智能合约
与人工智能, 大数据, 物联网等技术的深入融合, 其安全性受到重点关注. 近几年 …

Smart contract upgrades are costly from a verification perspective and can be a meaningful
source of vulnerabilities when done incorrectly. Unfortunately, there is no established, formal …