Projects
CellularSpecSec-Bench
A manually verified staged benchmark, containing newly constructed high-quality datasets with expert-verified and corrected subsets from prior open-source resources.
CellSecInspector
An automated framework for security analysis of 3GPP specifications.
5G/4G Privacy-exposing Identifiers Dissection
The first systematized and specification-grounded analysis of privacy-exposing identifiers in 5G and 4G networks, spanning NAS, RRC, MAC layers, and PC5 interface.