Software Open Access
Artifacts for "Instructions Unclear: Undefined Behaviour in Cellular Network Specifications"
Klischies, Daniel; Schloegel, Moritz; Scharnowski, Tobias; Bogodukhov, Mikhail; Rupprecht, David; Moonsamy, Veelasha
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
(33.6 MB)
| Name | Size | |
|---|---|---|
|
instructions_unclear_artifact.tar.gz
md5:a4e9c4c3b07d76ea188fb7073ba30763 |
33.6 MB | Download |
82
18
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 82 | 82 |
| Downloads | 18 | 18 |
| Data volume | 604.2 MB | 604.2 MB |
| Unique views | 76 | 76 |
| Unique downloads | 18 | 18 |
Indexed in
- Publication date:
- June 7, 2023
- DOI:
-
- License (for files):
- GNU Affero General Public License v3.0 or later