all InfoSec news
USENIX Security ’23 – Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
Security Boulevard securityboulevard.com
Authors/Presenters: Yi Chen, Di Tang, Yepeng Yao, Mingming Zha, Xiaofeng Wang, Xiaozhong Liu, Haixu Tang, Baoxu Liu
Many thanks to USENIX for publishing their outstanding USENIX Security ’23 Presenter’s content, and the organizations strong commitment to Open Access.
Originating from the conference’s events situated at the Anaheim Marriott; and via the organizations YouTube channel.
The post USENIX Security ’23 – Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning appeared first on Security Boulevard.
access authors automated automated reasoning building chen conference events lte open access organizations publishing reasoning security security conferences tang tests thanks usenix usenix secuirty '23 usenix security usenix security ’23 wang