Jingda Yang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ying Wang
84 publications
Yanjun Pan
9 publications
Carlo Lipizzi
4 publications
Sudhanshu Arya
3 publications
Shiyu Yuan
2 publications
Tuyen X. Tran
2 publications

research

∙ 08/07/2023

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis

Formal method-based analysis of the 5G Wireless Communication Protocol i...

0 Shiyu Yuan, et al. ∙

research

∙ 07/20/2023

Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond

Softwarization and virtualization in 5G and beyond necessitate thorough ...

0 Jingda Yang, et al. ∙

research

∙ 07/11/2023

Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond

Softwarization and virtualization in 5G and beyond require rigorous test...

0 Jingda Yang, et al. ∙

research

∙ 05/14/2023

Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing

The virtualization and softwarization of 5G and NextG are critical enabl...

0 Jingda Yang, et al. ∙