C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jingda Yang
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 9
Top Topics
Detection Rate
Language Model
False Positives
Formal Verification
Top Venues
CoRR
NetSoft
MILCOM
CCNC
</>
Publications
</>
Jingda Yang
,
Ying Wang
Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach.
IEEE Access
12 (2024)
Shiyu Yuan
,
Jingda Yang
,
Sudhanshu Arya
,
Carlo Lipizzi
,
Ying Wang
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.
CoRR
(2023)
Jingda Yang
,
Ying Wang
,
Tuyen X. Tran
,
Yanjun Pan
5G RRC Protocol and Stack Vulnerabilities Detection via Listen-and-Learn.
CCNC
(2023)
Danielle Dauphinais
,
Michael Zylka
,
Harris Spahic
,
Farhan Shaik
,
Jingda Yang
,
Isabella Cruz
,
Jakob Gibson
,
Ying Wang
Automated Vulnerability Testing and Detection Digital Twin Framework for 5G Systems.
NetSoft
(2023)
Jingda Yang
,
Ying Wang
,
Yanjun Pan
,
Tuyen X. Tran
Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing.
CoRR
(2023)
Yifeng Peng
,
Jingda Yang
,
Sudhanshu Arya
,
Ying Wang
SmiLe Net: A Supervised Graph Embedding-based Machine Learning Approach for NextG Vulnerability Detection.
MILCOM
(2023)
Jingda Yang
,
Ying Wang
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach.
CoRR
(2023)
Jingda Yang
,
Ying Wang
Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond.
CoRR
(2023)
Jingda Yang
,
Sudhanshu Arya
,
Ying Wang
Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond.
CoRR
(2023)