Published June 7, 2023
| Version v1
Software
Open
Artifacts for "Instructions Unclear: Undefined Behaviour in Cellular Network Specifications"
Creators
- 1. Ruhr University Bochum
- 2. CISPA Helmholtz Center for Information Security
- 3. Radix Security
Description
The artifacts for our paper "Instructions Unclear: Undefined Behaviour in Cellular Network Specifications" - accepted at Usenix Security 2023 - consist of two main parts: The TLA+ models used to discover undefined behaviours and the modified srsRAN implementations used to test smartphone implementations of undefined behaviour. For each of the three LTE features, PWS, SMS, and RRC that we evaluate against, there is a separate TLA+ model and srsRAN version.
Files
Files
(33.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a4e9c4c3b07d76ea188fb7073ba30763
|
33.6 MB | Download |