6 citations · 11 across the 5 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
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…
cs.CR2023★ 5 cited
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…
cs.CR2023
Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing
Jingda Yang, Ying Wang, Yanjun Pan +1
The virtualization and softwarization of 5G and NextG are critical enablers of the shift to flexibility, but they also present a potential attack surface for threats. However, curr…