Jingda Yang
YOU?
Author Swipe
Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond Open
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks. This involves identifying vulnerabilities and unintended emergent behaviors, from protocol desi…
Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach Open
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 Generation (NextG) communication protocols, addressing the …
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach Open
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 Generation (NextG) communication protocols, addressing the …
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis Open
Formal method-based analysis of the 5G Wireless Communication Protocol is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment, especially in the design phase. Natural Language Processing…
Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond Open
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks, requiring the identification of vulnerabilities and unintended emergent behaviors from protocol…
Towards the Designing of Low-Latency SAGIN: Ground-to-UAV Communications over Interference Channel Open
We present a novel and first-of-its-kind information-theoretic framework for the key design consideration and implementation of a ground-to-unmanned Aerial Vehicle (UAV) (G2U) communication network with an aim to minimize end-to-end transm…
Distributed 3D-Beam Reforming for Hovering-Tolerant UAVs Communication over Coexistence: A Deep-Q Learning for Intelligent Space-Air-Ground Integrated Networks Open
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 and terrestrial communications. Despite the unique advantage…
Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond Open
Softwarization and virtualization in 5G and beyond require rigorous testing against vulnerabilities and unintended emergent behaviors for critical infrastructure and network security assurance. Formal methods operates efficiently in protoc…
Systematic Meets Unintended: Prior Knowledge Adaptive 5G Vulnerability Detection via Multi-Fuzzing Open
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, current security research in communication systems focuses on s…
Protective effect of Alisol A on cerebral ischemia-reperfusion induced neurovascular unit dysfunction by activating AKT/GSK3β pathway in vivo Open
Background: Neurovascular unit (NVU) dysfunction is a major process in the pathophysiological process of cerebral ischemia-reperfusion (CI/R). Our previous studies have confirmed that the main active ingredient of Alisma orientale exhibits…
[Retracted] Analysis of the Efficacy of Acupuncture Combined with Rehabilitation Training in the Treatment of Upper Limb Spasm after Stroke: A Systematic Review and Meta‐Analysis Open
Objective . Systematic evaluation of the efficacy of acupuncture combined with cognitive rehabilitation training in the treatment of upper limb spasm after cerebral apoplexy. Methods . The data of CNKI, CBM, CQVIP, Wanfang, and the librari…
The effect of swimming exercise and diet on the hypothalamic inflammation of ApoE-/- mice based on SIRT1-NF-κB-GnRH expression Open
A high-fat diet and sedentary lifestyle could accelerate aging and hypothalamic inflammation. In order to explore the regulatory mechanisms of lifestyle in the hypothalamus, swimming exercise and diet control were applied in the high-fat d…
Proliferation of Vascular Smooth Muscle Cells under ox‐LDL Is Regulated by <i>Alismatis rhizoma</i> Decoction via InhibitingERK1/2 and miR‐17∼92a Cluster Activation Open
Context : Alismatis rhizome decoction ( AD ) exhibits antiatherosclerotic activities. The activity of AD against vascular smooth muscle cell (VSMC) proliferation remains unclear. Objective . The mechanisms and effects of AD on oxidized low…