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.