Publications

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts
With the development of decentralized networks, smart contracts, especially those for ERC tokens, are attracting more and more Dapp …
Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
PDF
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability
Out-of-gas errors occur when smart contract programs are provided with inputs that cause excessive gas consumption and which will be …
Fuchen Ma, Meng Ren, Ying Fu, Wanting Sun, Houbing Song, Heyuan Shi, Yu Jiang, Huizhong Li
PDF
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios
Attacks on smart contracts have caused considerable losses to digital assets. Many techniques based on symbolic execution, fuzzing, and …
Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jiaguang Sun
PDF
Making Smart Contract Development More Secure and Easier
With the rapid development of distributed applications, smart contracts have attracted more and more developers’ attentions. …
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang
PDF
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
With the increasing popularity of block-chain technologies, more and more engineers use smart contracts for application implementation. …
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang
PDF Code Slides Video
Empirical evaluation of smart contract testing: what is the best choice?
Security of smart contracts has attracted increasing attention in recent years. Many researchers have devoted themselves to devising …
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
PDF Dataset Slides
Security reinforcement for Ethereum virtual machine
Smart contracts are more sensitive from a security perspective than other software due to several reasons. First, smart contracts are …
Fuchen Ma, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song, Yu Jiang
PDF
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing
Ethereum Virtual Machine (EVM) is the run-time environment for smart contracts and its vulnerabilities may lead to serious problems to …
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi
PDF Code Video
EVM*: From offline detection to Online Reinforcement for Ethereum Virtual Machine
Attacks on transactions of Ethereum could be dangerous because they could lead to a big loss of money. There are many tools detecting …
Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang
PDF
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols
Blockchain consensus protocols are responsible for coordinating the nodes to make agreements on the transaction results. Their …
Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun
PDF