Jingda Yang

According to our database, Jingda Yang authored at least 13 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach.

Jingda Yang, Ying Wang

IEEE Access, 2024

Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond.

Jingda Yang, Sudhanshu Arya, Ying Wang

IEEE Access, 2024

Trustworthy Formal Verification in 5G Protocols: Evaluating Generative and Classification Models for Relation Extraction.

Jingda Yang, Ying Wang

Proceedings of the IEEE Military Communications Conference, 2024

Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification.

Jingda Yang, Ying Wang

Proceedings of the IEEE International Conference on Communications, 2024

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

Proceedings of the 21st IEEE Consumer Communications & Networking Conference, 2024

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

Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond.

Jingda Yang, Ying Wang

CoRR, 2023

Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing.

Jingda Yang, Ying Wang, Yanjun Pan, Tuyen X. Tran

CoRR, 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

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection.

Yifeng Peng, Jingda Yang, Sudhanshu Arya, Ying Wang

Proceedings of the IEEE Military Communications Conference, 2023

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.

Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang

Proceedings of the 12th IEEE International Conference on Cloud Networking, 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

Proceedings of the 12th IEEE International Conference on Cloud Networking, 2023

5G RRC Protocol and Stack Vulnerabilities Detection via Listen-and-Learn.

Jingda Yang, Ying Wang, Tuyen X. Tran, Yanjun Pan

Proceedings of the 20th IEEE Consumer Communications & Networking Conference, 2023