5G RRC Protocol and Stack Vulnerabilities Detection via Listen-and-Learn. - Jingda Yang; Ying Wang 113; Tuyen X. Tran; Yanjun Pan 001 (CCNC, 2023)

HyFuzz: A NextG Hybrid Testing Platform for Multi-step Deep Fuzzing and Performance Assessment from Virtualization to Over-the-Air. - Jingda Yang; Ying Wang 113 (CloudNet, 2023)

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. - Shiyu Yuan; Jingda Yang; Sudhanshu Arya; Carlo Lipizzi; Ying Wang 113 (CloudNet, 2023)

SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection. - Yifeng Peng; Jingda Yang; Sudhanshu Arya; Ying Wang 113 (MILCOM, 2023)

Automated Vulnerability Testing and Detection Digital Twin Framework for 5G Systems. - Danielle Dauphinais; Michael Zylka; Harris Spahic; Farhan Shaik; Jingda Yang; Isabella Cruz; Jakob Gibson; Ying Wang 113 (NetSoft, 2023)

Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing. - Jingda Yang; Ying Wang 113; Yanjun Pan 001; Tuyen X. Tran (CoRR, 2023)

Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond. - Jingda Yang; Ying Wang (CoRR, 2023)

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach. - Jingda Yang; Ying Wang (CoRR, 2023)

RAFT: A Real-Time Framework for Root Cause Analysis in 5G and Beyond Vulnerability Detection. - Yifeng Peng; Xinyi Li; Jingda Yang; Sudhanshu Arya; Ying Wang 113 (CCNC, 2024)

Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification. - Jingda Yang; Ying Wang 113 (ICC, 2024)

Trustworthy Formal Verification in 5G Protocols: Evaluating Generative and Classification Models for Relation Extraction. - Jingda Yang; Ying Wang 113 (MILCOM, 2024)

Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond. - Jingda Yang; Sudhanshu Arya; Ying Wang 113 (IEEE Access, 2024)

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach. - Jingda Yang; Ying Wang 113 (IEEE Access, 2024)