Software Artifacts

3 5GReasoner

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

2 ATFuzzer

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

1 LTEInspector

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