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...
share
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 ...
research
∙
05/03/2023
