Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
Website Maintenance Alert
Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.
If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.
Submitted by arnold on March 22, 2023 - 4:09 pm
| Title | Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning |
| Publication Type | Conference Paper |
| Year of Publication | 2023 |
| Authors | Chen Y, Tang D, Yao Y, Zha M, Wang XF, Liu X, Tang H, Liu B |
| Conference Name | 32nd USENIX Security Symposium (USENIX Security 23) |
| Date Published | 08/2023 |
| Publisher | USENIX Association |
| Conference Location | Anaheim, CA |
| ISBN Number | 978-1-939133-37-3 |
| URL | https://www.usenix.org/conference/usenixsecurity23/presentation/chen-yi |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX