6 citations · 11 across the 4 of their papers we have counts for
4 papers
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…