Showing results 1 to 2 of 2
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Bookworm game: Automatic discovery of LTE vulnerabilities through documentation analysis Proceeding/Conference:Proceedings - IEEE Symposium on Security and Privacy | 2021 | ||
Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning Proceeding/Conference:32nd USENIX Security Symposium, USENIX Security 2023 | 2023 |