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

20 July 2023

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

3 / 3 papers shown

Title
Anonymous Jamming Detection in 5G with Bayesian Network Model Based Inference Analysis Ying Wang Shashank Jere S. Banerjee Lingjia Liu S. Shetty Shehadi Dayekh 28 29 0 28 Nov 2023
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis Shiyu Yuan Jing-Bing Yang Sudhanshu Arya Carlo Lipizzi Ying Wang 25 4 0 07 Aug 2023
NLP-based Cross-Layer 5G Vulnerabilities Detection via Fuzzing Generated Run-Time Profiling Zhuzhu Wang Ying Wang 17 7 0 14 May 2023