6 citations · 11 across the 5 of their papers we have counts for
5 papers
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
Jingda Yang, Ying Wang
This paper introduces Auto-modeling of Formal Verification with Real-world Prompting for 5G and NextG protocols (AVRE), a novel system designed for the formal verification of Next…
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis
Shiyu Yuan, Jingda Yang, Sudhanshu Arya +2
Formal method-based analysis of the 5G Wireless Communication Protocol is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment,…
Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond
Jingda Yang, Sudhanshu Arya, Ying Wang
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks, requiring the identification of vuln…
Distributed 3D-Beam Reforming for Hovering-Tolerant UAVs Communication over Coexistence: A Deep-Q Learning for Intelligent Space-Air-Ground Integrated Networks
Sudhanshu Arya, Yifeng Peng, Jingda Yang +1
In this paper, we present a novel distributed UAVs beam reforming approach to dynamically form and reform a space-selective beam path in addressing the coexistence with satellite a…
Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond
Jingda Yang, Ying Wang
Softwarization and virtualization in 5G and beyond require rigorous testing against vulnerabilities and unintended emergent behaviors for critical infrastructure and network securi…