6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CL2023
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,…
cs.CR2023
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…
eess.SP2023★ 6 cited
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…