| 2024 | ESORICS | WASMixer: Binary Obfuscation for WebAssembly. | Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang |
| 2024 | ISSTA | WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. | Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang |
| 2024 | ISSTA | SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. | Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo |
| 2024 | NDSS | VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities. | Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang |
| 2024 | NDSS | Abusing the Ethereum Smart Contract Verification Services for Fun and Profit. | Pengxiang Ma, Ningyu He, Yuhua Huang, Haoyu Wang, Xiapu Luo |
| 2024 | SIGMETRICS | Miracle or Mirage? A Measurement Study of NFT Rug Pulls. | Jintao Huang, Ningyu He, Kai Ma, Jiang Xiao, Haoyu Wang |
| 2023 | CCS | Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications. | Hanwen Lei, Ziqi Zhang, Shaokun Zhang, Peng Jiang, Zhineng Zhong, Ningyu He, Ding Li, Yao Guo, Xiangqun Chen |
| 2023 | CCS | SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. | Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen |
| 2023 | ISSTA | Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. | Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo |
| 2023 | SP | Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study. | Edward Lo, Ningyu He, Yuejie Shi, Jiajia Xu, Chiachih Wu, Ding Li, Yao Guo |
| 2023 | SAS | BREWasm: A General Static Binary Rewriting Framework for WebAssembly. | Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang |
| 2021 | SIGMETRICS | SADPonzi: Detecting and Characterizing Ponzi Schemes in Ethereum Smart Contracts. | Weimin Chen, Xinran Li, Yuting Sui, Ningyu He, Haoyu Wang, Lei Wu, Xiapu Luo |
| 2020 | FC | Characterizing Code Clones in the Ethereum Smart Contract Ecosystem. | Ningyu He, Lei Wu, Haoyu Wang, Yao Guo, Xuxian Jiang |
| 2020 | ICASSP | Spatial Attentional Bilinear 3D Convolutional Network for Video-Based Autism Spectrum Disorder Detection. | Kangbo Sun, Lin Li, Lianqiang Li, Ningyu He, Jie Zhu |
| 2020 | ICECCS | DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts. | Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo |
| 2018 | IJCNN | An optic-fiber fence intrusion recognition system using the optimized curve fitting model based on the SVM method. | Ningyu He, Jie Zhu, Lianqiang Li |