Formal verification framework (including models and properties) for 4G NAS layer protocols.

Formal verification framework (including models and properties) for 5G Artifacts from Research control-plane protocols

A grammar-guided, evolutionary fuzzing framework for dynamically testing the AT interface in Android smartphones

An automated black-box testing framework to check if the 4G Long Term Evolution (LTE) control-plane protocol implementations in commercial-of-the-shelf (COTS) cellular devices are compliant with the 3GPP standard.

Scalable and property-agnostic non-compliance analysis framework for BLE implementations that identifies potential deviations in the BLE implementations from the standard.

A model-based testing framework designed to formally analyze the access control framework of the 5G Core.

An end-to-end framework to automatically generate formal representations from natural language cellular specifications.

An automated and scalable security testing framework for 5G basebands.

An automated and scalable security testing framework for 5G basebands.

An automated and scalable side-channel analysis framework of transport layer protocol implementations (e.g., TCP and UDP)

State machine mutation-based and property-guided testing of network protocols

TBD