SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts. - Zhaoxuan Li; Siqi Lu; Rui Zhang 016; Rui Xue 001; Wenqiu Ma; Rujin Liang; Ziming Zhao 008; Sheng Gao 002 (Empir. Softw. Eng., 2022)

Purifier: Defending Data Inference Attacks via Transforming Confidence Scores. - Ziqi Yang; Lijin Wang; Da Yang 006; Jie Wan; Ziming Zhao 008; Ee-Chien Chang; Fan Zhang 010; Kui Ren 001 (AAAI, 2023)

Poster: Detecting Adversarial Examples Hidden under Watermark Perturbation via Usable Information Theory. - Ziming Zhao 008; Zhaoxuan Li; Tingting Li 004; Zhuoxue Song; Fan Zhang 010; Rui Zhang 016 (CCS, 2023)

Work-in-Progress: Towards Real-Time IDS via RNN and Programmable Switches Co-Designed Approach. - Ziming Zhao 008; Zhaoxuan Li; Zhuoxue Song; Fan Zhang 010 (RTSS, 2023)

SAGE: Steering the Adversarial Generation of Examples With Accelerations. - Ziming Zhao 008; Zhaoxuan Li; Fan Zhang 010; Ziqi Yang; Shuang Luo; Tingting Li 004; Rui Zhang 016; Kui Ren 001 (IEEE Trans. Inf. Forensics Secur., 2023)

VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning. - Zhaoxuan Li; Siqi Lu; Rui Zhang 016; Ziming Zhao 008; Rujin Liang; Rui Xue 001; Wenhao Li 005; Fan Zhang 010; Sheng Gao 002 (IEEE Trans. Software Eng., 2023)

DDoSMiner: An Automated Framework for DDoS Attack Characterization and Vulnerability Mining. - Xi Ling; Jiongchi Yu; Ziming Zhao 008; Zhihao Zhou; Haitao Xu 002; Binbin Chen 001; Fan Zhang 010 (ACNS (2), 2024)

Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution. - Zhaoxuan Li; Ziming Zhao 008; Wenhao Li 005; Rui Zhang 016; Rui Xue 001; Siqi Lu; Fan Zhang 010 (CCS, 2024)

An Automated Alert Cross-Verification System with Graph Neural Networks for IDS Events. - Liang Li; Yuanhui He; Feiyang Huang; Ziming Zhao 008; Zhuoxue Song; Tong Zhou; Zhenyuan Li; Fan Zhang 010 (CSCWD, 2024)

Moirai: Optimizing Quantum Serverless Function Orchestration via Device Allocation and Circuit Deployment. - Tingting Li 004; Ziming Zhao 008 (ICWS, 2024)

RIDS: Towards Advanced IDS via RNN Model and Programmable Switches Co-Designed Approaches. - Ziming Zhao 008; Zhaoxuan Li; Zhuoxue Song; Fan Zhang 010; Binbin Chen 001 (INFOCOM, 2024)

Minerva: Enhancing Quantum Network Performance for High-Fidelity Multimedia Transmission. - Tingting Li 004; Ziming Zhao 008; Jianwei Yin (ACM Multimedia, 2024)

QLSel: Demonstrating Efficient High-Fidelity Link Selection for Quantum Networks in the Wild. - Tingting Li 004; Ziming Zhao 008; Jianwei Yin (MobiCom, 2024)

Work-in-Progress: Analyzing Worst-Case DDoS Traffic Scrub Effect and Recovery Delay via Attack Vector Combination. - Ziming Zhao 008; Zhaoxuan Li; Tingting Li 004 (RTSS, 2024)

A Large-Scale P2P Botnet Detection Framework via Topology and Traffic Co-Verification. - Ziming Zhao 008; Zhaoxuan Li; Tingting Li 004; Fan Zhang 010 (SECON, 2024)

Poster: Combine Topology and Traffic to Calibrate P2P Botnet Identification in Large-Scale Network. - Ziming Zhao 008; Zhaoxuan Li; Fan Zhang 010; Tingting Li 004; Jianwei Yin (SIGCOMM (Posters and Demos), 2024)

Improving Model Robustness against Adversarial Examples with Redundant Fully Connected Layer. - Ziming Zhao 008; Zhaoxuan Li; Tingting Li 004; Jiongchi Yu; Fan Zhang 010; Rui Zhang 016 (WWW (Companion Volume), 2024)

Trident: A Universal Framework for Fine-Grained and Class-Incremental Unknown Traffic Detection. - Ziming Zhao 008; Zhaoxuan Li; Zhuoxue Song; Wenhao Li 005; Fan Zhang 010 (WWW, 2024)

Task-Driven Quantum Device Fingerprint Identification via Modeling QNN Outcome Shift Induced by Quantum Noise. - Tingting Li 004; Ziming Zhao 008; Jianwei Yin (WWW (Companion Volume), 2024)

metaNet: Interpretable unknown mobile malware identification with a novel meta-features mining algorithm. - Zhaoxuan Li; Ziming Zhao 008; Rui Zhang 016; Haoyang Lu; Wenhao Li 005; Fan Zhang 010; Siqi Lu; Rui Xue 001 (Comput. Networks, 2024)

Effective DDoS Mitigation via ML-Driven In-Network Traffic Shaping. - Ziming Zhao 008; Zhuotao Liu; Huan Chen; Fan Zhang 010; Zhuoxue Song; Zhaoxuan Li (IEEE Trans. Dependable Secur. Comput., 2024)

DDoS family: A novel perspective for massive types of DDoS attacks. - Ziming Zhao 008; Zhaoxuan Li; Zhihao Zhou; Jiongchi Yu; Zhuoxue Song; Xiaofei Xie; Fan Zhang 010; Rui Zhang 016 (Comput. Secur., 2024)

CMD: Co-Analyzed IoT Malware Detection and Forensics via Network and Hardware Domains. - Ziming Zhao 008; Zhaoxuan Li; Jiongchi Yu; Fan Zhang 010; Xiaofei Xie; Haitao Xu 002; Binbin Chen 001 (IEEE Trans. Mob. Comput., 2024)

FOSS: Towards Fine-Grained Unknown Class Detection Against the Open-Set Attack Spectrum With Variable Legitimate Traffic. - Ziming Zhao 008; Zhaoxuan Li; Xiaofei Xie; Jiongchi Yu; Fan Zhang 010; Rui Zhang 016; Binbin Chen 001; Xiangyang Luo; Ming Hu 003; Wenrui Ma (IEEE/ACM Trans. Netw., 2024)

TPE-Det: A Tamper-Proof External Detector via Hardware Traces Analysis Against IoT Malware. - Ziming Zhao 008; Zhaoxuan Li; Tingting Li 004; Fan Zhang 010 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Empowering Quantum Error Traceability with MoE for Automatic Calibration. - Tingting Li 004; Ziming Zhao 008; Liqiang Lu; Siwei Tan; Jianwei Yin (DATE, 2025)

Fortuna: Towards Efficient Selection of High-Fidelity Link for Quantum Network in the Wild. - Tingting Li 004; Ziming Zhao 008; Jianwei Yin (INFOCOM, 2025)

Towards Context-Aware Traffic Classification via Time-Wavelet Fusion Network. - Ziming Zhao 008; Zhuoxue Song; Xiaofei Xie; Zhaoxuan Li; Jiongchi Yu; Fan Zhang 010; Tingting Li 004 (KDD (1), 2025)

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift. - Jiongchi Yu; Xiaofei Xie; Qiang Hu; Bowen Zhang; Ziming Zhao 008; Yun Lin 001; Lei Ma 003; Ruitao Feng; Frank Liauw (Proc. ACM Softw. Eng., 2025)

QuST: Optimizing Quantum Neural Network Against Spatial and Temporal Noise Biases. - Tingting Li 004; Liqiang Lu; Ziming Zhao 008; Ziqi Tan; Siwei Tan; Jianwei Yin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Verify All Traffic: Towards Zero-Trust In-Network Intrusion Detection Against Multipath Routing. - Ziming Zhao 008; Zhaoxuan Li; Xiaofei Xie; Zhipeng Liu; Tingting Li 004; Jiongchi Yu; Fan Zhang 010; Binbin Chen 001 (IEEE J. Sel. Areas Commun., 2025)