Jingda Yang - RankMe

18 papers B 1Journal 9Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Advanced Security for NextG Mobile Networks: A Hybrid Fuzzing Approach. IEEE Trans. Mob. Comput. Jingda Yang, Paul Ratazzi, Ying Wang
2025	J	`jnl`	Symbolic and Safety-Centric Formal Verification of MAVLink for Autonomous eVTOL Systems. IEEE Netw. Lett. Bing Mak, Jingda Yang, Juntao Chen, Paul Ratazzi, Ying Wang
2025	—	`conf`	Unifying Generative and Classification-Based Relation Extraction via MCTS for nextG Protocol Formal Verification. MILCOM Jingda Yang, Paul Ratazzi, Ying Wang
2024	—	`conf`	Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification. ICC Jingda Yang, Ying Wang
2024	J	`jnl`	Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond. IEEE Access Jingda Yang, Sudhanshu Arya, Ying Wang
2024	—	`conf`	RAFT: A Real-Time Framework for Root Cause Analysis in 5G and Beyond Vulnerability Detection. CCNC Yifeng Peng, Xinyi Li, Jingda Yang, Sudhanshu Arya, Ying Wang
2024	J	`jnl`	Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach. IEEE Access Jingda Yang, Ying Wang
2024	—	`conf`	Trustworthy Formal Verification in 5G Protocols: Evaluating Generative and Classification Models for Relation Extraction. MILCOM Jingda Yang, Ying Wang
2023	—	`conf`	5G RRC Protocol and Stack Vulnerabilities Detection via Listen-and-Learn. CCNC Jingda Yang, Ying Wang, Tuyen X. Tran, Yanjun Pan
2023	B	`conf`	Automated Vulnerability Testing and Detection Digital Twin Framework for 5G Systems. NetSoft Danielle Dauphinais, Michael Zylka, Harris Spahic, Farhan Shaik, Jingda Yang, Isabella Cruz, Jakob Gibson, Ying Wang
2023	J	`jnl`	Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond. CoRR Jingda Yang, Ying Wang
2023	J	`jnl`	Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond. CoRR Jingda Yang, Sudhanshu Arya, Ying Wang
2023	—	`conf`	From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. CloudNet Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang
2023	J	`jnl`	From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. CoRR Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang
2023	—	`conf`	HyFuzz: A NextG Hybrid Testing Platform for Multi-step Deep Fuzzing and Performance Assessment from Virtualization to Over-the-Air. CloudNet Jingda Yang, Ying Wang
2023	—	`conf`	SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection. MILCOM Yifeng Peng, Jingda Yang, Sudhanshu Arya, Ying Wang
2023	J	`jnl`	Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing. CoRR Jingda Yang, Ying Wang, Yanjun Pan, Tuyen X. Tran
2023	J	`jnl`	Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach. CoRR Jingda Yang, Ying Wang