Jingda Yang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Top Venues

Publications

Yifeng Peng, Xinyi Li, Jingda Yang, Sudhanshu Arya, Ying Wang
RAFT: A Real-Time Framework for Root Cause Analysis in 5G and Beyond Vulnerability Detection. CCNC (2024)
Jingda Yang, Ying Wang
Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach. IEEE Access 12 (2024)
Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. CoRR (2023)
Jingda Yang, Ying Wang, Tuyen X. Tran, Yanjun Pan
5G RRC Protocol and Stack Vulnerabilities Detection via Listen-and-Learn. CCNC (2023)
Danielle Dauphinais, Michael Zylka, Harris Spahic, Farhan Shaik, Jingda Yang, Isabella Cruz, Jakob Gibson, Ying Wang
Automated Vulnerability Testing and Detection Digital Twin Framework for 5G Systems. NetSoft (2023)
Jingda Yang, Ying Wang, Yanjun Pan, Tuyen X. Tran
Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing. CoRR (2023)
Yifeng Peng, Jingda Yang, Sudhanshu Arya, Ying Wang
SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection. MILCOM (2023)
Jingda Yang, Ying Wang
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach. CoRR (2023)
Jingda Yang, Ying Wang
Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond. CoRR (2023)
Jingda Yang, Ying Wang
HyFuzz: A NextG Hybrid Testing Platform for Multi-step Deep Fuzzing and Performance Assessment from Virtualization to Over-the-Air. CloudNet (2023)
Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. CloudNet (2023)
Jingda Yang, Sudhanshu Arya, Ying Wang
Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond. CoRR (2023)