Publications (26)
Characterizing Code Clones in the Ethereum Smart Contract Ecosystem
Ningyu He, Lei Wu, Haoyu Wang +2
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Ningyu He, Zhehao Zhao, Hanqin Guan +6
Cybersquatting in Web3: The Case of NFT
Kai Ma, Ningyu He, Jintao Huang +3
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Ningyu He, Zhehao Zhao, Jikai Wang +7
WALLETRADAR: Towards Automating the Detection of Vulnerabilities in Browser-based Cryptocurrency Wallets
Pengcheng Xia, Yanhui Guo, Zhaowen Lin +8
A General Static Binary Rewriting Framework for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo +1
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation
Ningyu He, Haoyu Wang, Lei Wu +3
NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
Jikai Wang, Ningyu He, Tianming Liu +2
WalletProbe: A Testing Framework for Browser-based Cryptocurrency Wallet Extensions
Xiaohui Hu, Ningyu He, Haoyu Wang
Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum
Tianyang Chi, Ningyu He, Xiaohui Hu +1
WASMixer: Binary Obfuscation for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo +1
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
Tianle Sun, Ningyu He, Jiang Xiao +3
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit
Pengxiang Ma, Ningyu He, Yuhua Huang +2
Understanding the Evolution of Blockchain Ecosystems: A Longitudinal Measurement Study of Bitcoin, Ethereum, and EOSIO
Ningyu He, Weihang Su, Zhou Yu +7
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts
Ru Ji, Ningyu He, Lei Wu +3
Security Analysis of EOSIO Smart Contracts
Ningyu He, Ruiyi Zhang, Lei Wu +5
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Jie Ma, Ningyu He, Jinwen Xi +8
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks
Bosi Zhang, Ningyu He, Xiaohui Hu +2
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Jie Ma, Ningyu He, Jinwen Xi +4
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
Ningyu He, Shangtong Cao, Haoyu Wang +2
WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation
Shangtong Cao, Ningyu He, Xinyu She +3
An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
Xiaohui Hu, Wun Yu Chan, Yuejie Shi +5
SoK: On the Security of Non-Fungible Tokens
Kai Ma, Jintao Huang, Ningyu He +2
CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
Shangtong Cao, Tianlei Song, Qiuping Yi +4
A Deep Dive into NFT Rug Pulls
Jintao Huang, Ningyu He, Kai Ma +2
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study
Edward Lo, Ningyu He, Yuejie Shi +4