USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
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