Ningyu He

58 papers A* 8A 4B 3Misc 1Journal 34Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing.
CoRR
Xiaohui Hu, Wun Yu Chan, Yuejie Shi, Qumeng Sun, Wei-Cheng Wang, Chiachih Wu, Haoyu Wang, Ningyu He
2026 J jnl
DrWASI: LLM-assisted Differential Testing for WebAssembly System Interface Implementations.
ACM Trans. Softw. Eng. Methodol.
Yixuan Zhang, Ningyu He, Jianting Gao, Shangtong Cao, Kaibo Liu, Haoyu Wang, Yun Ma, Gang Huang, Xuanzhe Liu
2026 J jnl
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure.
CoRR
Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Liangxin Liu, Jiushenzi Luo, Xiaopeng Fu, Chiachih Wu, Haoyu Wang, Ying Gao, Yinliang Yue
2025 J jnl
A survey on EOSIO systems security: vulnerability, attack, and mitigation.
Frontiers Comput. Sci.
Ningyu He, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Xiangqun Chen
2025 A conf
Cybersquatting in Web3: The Case of NFT.
EuroS&P
Kai Ma, Ningyu He, Jintao Huang, Bosi Zhang, Ping Wu, Haoyu Wang
2025 J jnl
Cybersquatting in Web3: The Case of NFT.
CoRR
Kai Ma, Ningyu He, Jintao Huang, Bosi Zhang, Ping Wu, Haoyu Wang
2025 A* conf
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks.
USENIX Security Symposium
Bosi Zhang, Ningyu He, Xiaohui Hu, Kai Ma, Haoyu Wang
2025 J jnl
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks.
CoRR
Bosi Zhang, Ningyu He, Xiaohui Hu, Kai Ma, Haoyu Wang
2025 J jnl
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine.
CoRR
Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Haoyu Wang, Ying Gao, Yinliang Yue
2025 J jnl
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine.
Proc. ACM Softw. Eng.
Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Haoyu Wang, Ying Gao, Yinliang Yue
2025 A* conf
The Gold Digger in the Dark Forest: Industrial-Scale MEV Analysis in Ethereum.
ASE
Ningyu He, Tianyang Chi, Xiaohui Hu, Haoyu Wang
2025 — conf
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry.
SIGSOFT FSE Companion
Ningyu He, Shangtong Cao, Haoyu Wang, Yao Guo, Xiapu Luo
2025 J jnl
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry.
CoRR
Ningyu He, Shangtong Cao, Haoyu Wang, Yao Guo, Xiapu Luo
2025 J jnl
WalletProbe: A Testing Framework for Browser-based Cryptocurrency Wallet Extensions.
CoRR
Xiaohui Hu, Ningyu He, Haoyu Wang
2024 A* conf
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit.
NDSS
Pengxiang Ma, Ningyu He, Yuhua Huang, Haoyu Wang, Xiapu Luo
2024 A* conf
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts.
USENIX Security Symposium
Tianle Sun, Ningyu He, Jiang Xiao, Yinliang Yue, Xiapu Luo, Haoyu Wang
2024 J jnl
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts.
CoRR
Tianle Sun, Ningyu He, Jiang Xiao, Yinliang Yue, Xiapu Luo, Haoyu Wang
2024 — conf
Chareption: Change-Aware Adaption Empowers Large Language Model for Effective Remote Sensing Image Change Captioning.
PRCV (13)
Changhe Wang, Ningyu He, Binglu Wang
2024 — conf
Miracle or Mirage? A Measurement Study of NFT Rug Pulls.
SIGMETRICS/Performance (Abstracts)
Jintao Huang, Ningyu He, Kai Ma, Jiang Xiao, Haoyu Wang
2024 J jnl
Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum.
CoRR
Tianyang Chi, Ningyu He, Xiaohui Hu, Haoyu Wang
2024 A conf
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.
ISSTA
Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo
2024 J jnl
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.
CoRR
Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo
2024 A* conf
VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities.
NDSS
Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang
2024 J jnl
WALLETRADAR: Towards Automating the Detection of Vulnerabilities in Browser-based Cryptocurrency Wallets.
CoRR
Pengcheng Xia, Yanhui Guo, Zhaowen Lin, Jun Wu, Pengbo Duan, Ningyu He, Kailong Wang, Tianming Liu, Yinliang Yue, Guoai Xu, Haoyu Wang
2024 A conf
WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation.
ISSTA
Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang
2024 — conf
WASMixer: Binary Obfuscation for WebAssembly.
ESORICS (3)
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
2024 J jnl
WalletRadar: towards automating the detection of vulnerabilities in browser-based cryptocurrency wallets.
Autom. Softw. Eng.
Pengcheng Xia, Yanhui Guo, Zhaowen Lin, Jun Wu, Pengbo Duan, Ningyu He, Kailong Wang, Tianming Liu, Yinliang Yue, Guoai Xu, Haoyu Wang
2023 J jnl
A Deep Dive into NFT Rug Pulls.
CoRR
Jintao Huang, Ningyu He, Kai Ma, Jiang Xiao, Haoyu Wang
2023 J jnl
A General Static Binary Rewriting Framework for WebAssembly.
CoRR
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
2023 J jnl
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit.
CoRR
Pengxiang Ma, Ningyu He, Yuhua Huang, Haoyu Wang, Xiapu Luo
2023 B conf
BREWasm: A General Static Binary Rewriting Framework for WebAssembly.
SAS
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
2023 — conf
Efficient Trajectory Planning for Coordinated Arrival of Fixed-Wing UAV Swarm.
ICIRA (7)
Yuhang Zhong, Yangxiu Hu, Yang Chen, Ningyu He, Guangtong Xu, Chao Xu, Fei Gao
2023 A conf
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.
ISSTA
Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo
2023 J jnl
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.
CoRR
Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo
2023 — conf
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study.
SP (Workshops)
Edward Lo, Ningyu He, Yuejie Shi, Jiajia Xu, Chiachih Wu, Ding Li, Yao Guo
2023 J jnl
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study.
CoRR
Edward Lo, Ningyu He, Yuejie Shi, Jiajia Xu, Chiachih Wu, Ding Li, Yao Guo
2023 J jnl
Miracle or Mirage? A Measurement Study of NFT Rug Pulls.
Proc. ACM Meas. Anal. Comput. Syst.
Jintao Huang, Ningyu He, Kai Ma, Jiang Xiao, Haoyu Wang
2023 A* conf
Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications.
CCS
Hanwen Lei, Ziqi Zhang, Shaokun Zhang, Peng Jiang, Zhineng Zhong, Ningyu He, Ding Li, Yao Guo, Xiangqun Chen
2023 J jnl
SoK: On the Security of Non-Fungible Tokens.
CoRR
Kai Ma, Jintao Huang, Ningyu He, Zhuo Wang, Haoyu Wang
2023 A* conf
SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution.
CCS
Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen
2023 J jnl
WASMixer: Binary Obfuscation for WebAssembly.
CoRR
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
2023 J jnl
WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation.
CoRR
Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang
2022 J jnl
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation.
CoRR
Ningyu He, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Xiangqun Chen
2021 J jnl
A Weighted Partial Domain Adaptation for Acoustic Scene Classification and Its Application in Fiber Optic Security System.
IEEE Access
Ningyu He, Jie Zhu
2021 J jnl
Adversarial Networks With Circular Attention Mechanism for Fine-Grained Domain Adaptation.
IEEE Access
Ningyu He, Jie Zhu
2021 A* conf
EOSAFE: Security Analysis of EOSIO Smart Contracts.
USENIX Security Symposium
Ningyu He, Ruiyi Zhang, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Ting Yu, Xuxian Jiang
2021 — conf
SADPonzi: Detecting and Characterizing Ponzi Schemes in Ethereum Smart Contracts.
SIGMETRICS (Abstracts)
Weimin Chen, Xinran Li, Yuting Sui, Ningyu He, Haoyu Wang, Lei Wu, Xiapu Luo
2021 J jnl
SADPonzi: Detecting and Characterizing Ponzi Schemes in Ethereum Smart Contracts.
Proc. ACM Meas. Anal. Comput. Syst.
Weimin Chen, Xinran Li, Yuting Sui, Ningyu He, Haoyu Wang, Lei Wu, Xiapu Luo
2021 J jnl
Understanding the Evolution of Blockchain Ecosystems: A Longitudinal Measurement Study of Bitcoin, Ethereum, and EOSIO.
CoRR
Ningyu He, Weihang Su, Zhou Yu, Xinyu Liu, Fengyi Zhao, Haoyu Wang, Xiapu Luo, Gareth Tyson, Lei Wu, Yao Guo
2020 — conf
Characterizing Code Clones in the Ethereum Smart Contract Ecosystem.
Financial Cryptography
Ningyu He, Lei Wu, Haoyu Wang, Yao Guo, Xuxian Jiang
2020 B conf
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts.
ICECCS
Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo
2020 J jnl
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts.
CoRR
Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo
2020 J jnl
Reduced Dimension STAP Based on Sparse Recovery in Heterogeneous Clutter Environments.
IEEE Trans. Aerosp. Electron. Syst.
Wei Zhang, Ruixue An, Ningyu He, Zishu He, Huiyong Li
2020 J jnl
Security Analysis of EOSIO Smart Contracts.
CoRR
Ningyu He, Ruiyi Zhang, Lei Wu, Haoyu Wang, Xiapu Luo, Yao Guo, Ting Yu, Xuxian Jiang
2020 Misc conf
Spatial Attentional Bilinear 3D Convolutional Network for Video-Based Autism Spectrum Disorder Detection.
ICASSP
Kangbo Sun, Lin Li, Lianqiang Li, Ningyu He, Jie Zhu
2020 J jnl
Super Resolution DOA Based on Relative Motion for FMCW Automotive Radar.
IEEE Trans. Veh. Technol.
Wei Zhang, Ping Wang, Ningyu He, Zishu He
2019 J jnl
Characterizing Code Clones in the Ethereum Smart Contract Ecosystem.
CoRR
Ningyu He, Lei Wu, Haoyu Wang, Yao Guo, Xuxian Jiang
2018 B conf
An optic-fiber fence intrusion recognition system using the optimized curve fitting model based on the SVM method.
IJCNN
Ningyu He, Jie Zhu, Lianqiang Li