5 citations · 5 across the 3 of their papers we have counts for
3 papers
eess.SY2024
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…
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…